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]