The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Alvaro E. Arenas
    An Algebraic Approach for Compiling Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  2. Eugene Asarin, Catalin Dima
    Balanced timed regular expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  3. Mario Bravetti
    An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  4. Mario Bravetti
    Revisiting Interactive Markov Chains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  5. Friedger Müffke
    Process Algebras as Specification Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  6. Maria Sorea
    Bounded Model Checking for Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  7. Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
    Petri nets with causal time for system verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, 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