Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 3

1. Ofer Strichman, Armin Biere
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:1-2 [Journal]
   
2. Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
   Bounded Model Checking with Parametric Data Structures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:3-16 [Journal]
   
3. Paul B. Jackson, Daniel Sheridan
   A Compact Linear Translation for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:17-30 [Journal]
   
4. João Marques-Silva
   Interpolant Learning and Reuse in SAT-Based Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:31-43 [Journal]
   
5. Toni Jussila, Armin Biere
   Compressing BMC Encodings with QBF. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:45-56 [Journal]
   
6. Xuandong Li, Sumit Jha Aanand, Lei Bu
   Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:57-70 [Journal]