Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 119, number: 2

1. Armin Biere, Ofer Strichman
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:1-0 [Journal]
   
2. Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
   SAT-based Induction for Temporal Safety Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:3-16 [Journal]
   
3. Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani
   Verifying Industrial Hybrid Systems with MathSAT. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:17-32 [Journal]
   
4. Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer
   Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:33-49 [Journal]
   
5. HoonSang Jin, Fabio Somenzi
   An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:51-65 [Journal]
   
6. Alex Groce, Daniel Kroening
   Making the Most of BMC Counterexamples. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:67-81 [Journal]
   
7. Daniel Sheridan
   Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:83-101 [Journal]