The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 89, number: 1

  1. Stefan Blom, Izak van Langevelde, Bert Lisser
    Compressed and Distributed File Formats for Labeled Transition Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  2. Assaf Schuster
    Scalable Distributed Model Checking: Experiences, Lessons, and Expectations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  3. Martin Leucker, Rafal Somla, Michael Weber 0002
    Parallel Model Checking for LTL, CTL*, and Lµ2. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  4. Pavel Krcál
    Distributed Explicit Bounded LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  5. Christophe Joubert
    Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  6. Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
    Benchmarking Explicit State Parallel Model Checkers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  7. Lubos Brim, Jitka Zidkova
    Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  8. Lubos Brim, Orna Grumberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  9. Stefan Blom, Simona Orzan
    Distributed Branching Bisimulation Reduction of State Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  10. Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
    Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [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