Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 68, number: 4

1. Gerd Behrmann
   A Performance Study of Distributed Timed Automata Reachability Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
2. Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker
   A Symbolic Out-of-Core Solution Method for Markov Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
3. Cornelia P. Inggs, Howard Barringer
   Effective State Exploration for Model Checking on a Shared Memory Architecture. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
4. Orna Grumberg
   Different directions in parallel and distributed model checking (invited talk). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
5. Lubos Brim, Orna Grumberg
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
6. Lubos Brim, Jitka Crhova, Karen Yorav
   Using Assumptions to Distribute CTL Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
7. Tomás Brázdil, Ivana Cerná
   Local Distributed Model Checking of RegCTL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
8. Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik
   ZEUS: A Distributed Timed Model-Checker Based on KRONOS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
9. Stefan Blom, Simona Orzan
   A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
10. Alexander Bell, Boudewijn R. Haverkort
    Sequential and Distributed Model Checking of Petri Net Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
    
11. Moshe Y. Vardi
    Model Checking: A Complexity-Theoretic Perspective (invited talk). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]