|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
|