Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 135, number: 2

1. Martin Leucker, Jaco van de Pol
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:1-2 [Journal]
   
2. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
   How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:3-18 [Journal]
   
3. Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
   Distribution, Approximation and Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:19-30 [Journal]
   
4. Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson
   Under-approximation Heuristics for Grid-based Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:31-46 [Journal]
   
5. Pradeep K. Nalla, Roland J. Weiss, Prakash M. Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
   Distributed Symbolic Bounded Property Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:47-63 [Journal]
   
6. Ming-Ying Chung, Gianfranco Ciardo
   A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:65-80 [Journal]