The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 144, number: 1

  1. Armin Biere, Ofer Strichman
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:1-0 [Journal]
  2. Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky
    Bounded Model Checking for All Regular Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:3-18 [Journal]
  3. Anders Franzén
    Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:19-33 [Journal]
  4. Ohad Shacham, Karen Yorav
    Adaptive Application of SAT Solving Techniques. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:35-50 [Journal]
  5. Mohammad Awedh, Fabio Somenzi
    Termination Criteria for Bounded Model Checking: Extensions and Comparison. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:51-66 [Journal]
  6. Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
    Supporting SAT based BMC on Finite Path Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:67-77 [Journal]
  7. Daniel Kroening
    Computing Over-Approximations with Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:79-92 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002