The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 50, number: 4

  1. Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
    Networks of Processes with Parameterized State Space. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
  2. Giorgio Delzanno
    An Assertional Language for the Verification of Systems Parametric in Several Dimensions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
  3. Marcel Kyas
    Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
  4. Richard Mayr
    Introduction - Verification of Parameterized Systems - VEPAS 2001. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
  5. Vlad Rusu, Elena Zinovieva
    Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, pp:- [Journal]
  6. Tayssir Touili
    Regular Model Checking using Widening Techniques. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:4, 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