The SCEAS System
Navigation Menu

Journals in DBLP

Formal Asp. Comput.
1992, volume: 4, number: 6

  1. Fredrik Orava, Joachim Parrow
    An Algebraic Verification of a Mobile Network. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:6, pp:497-543 [Journal]
  2. Noureddine Boudriga, Fathi Elloumi, Ali Mili
    On the Lattice of Specifications: Applications to a Specification Methodology. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:6, pp:544-571 [Journal]
  3. Eike Best, Ludmila Cherkasova, Jörg Desel
    Compositional Generation of Home States in Free Choice Nets. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:6, pp:572-581 [Journal]
  4. Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio
    On Equivalence-Completions of Fairness Assumtions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:6, pp:582-591 [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