The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2000, volume: 39, number: 3

  1. Mario Bravetti, Marco Bernardo
    Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  2. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
    Exploiting Partial Symmetries for Markov Chain Aggregation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  3. Flavio Corradini, Paola Inverardi
    Preface [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  4. Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
    Real-Time Verification Techniques for Untimed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  5. Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir
    Verification of the legOS Scheduler using Uppaal. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  6. Thomas A. Henzinger
    Exploiting Design Structure in Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  7. Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
    Specification of Real-Time Systems in UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  8. Walter Vogler, Lars Jenner
    Axiomatizing a Fragment of PAFAS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, 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