|
Journals in DBLP
Acta Inf. 1989, volume: 27, number: 8
- Wladyslaw M. Turski
On Specification of Multiprocessor Computing. [Citation Graph (0, 0)][DBLP] Acta Inf., 1989, v:27, n:8, pp:685-696 [Journal]
- Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier
The Instability of Self-Stabilization. [Citation Graph (0, 0)][DBLP] Acta Inf., 1989, v:27, n:8, pp:697-724 [Journal]
- Rance Cleaveland
Tableau-Based Model Checking in the Propositional Mu-Calculus. [Citation Graph (1, 0)][DBLP] Acta Inf., 1989, v:27, n:8, pp:725-747 [Journal]
- Andreas Weber
On the Valuedness of Finite Transducers. [Citation Graph (0, 0)][DBLP] Acta Inf., 1989, v:27, n:8, pp:749-780 [Journal]
- Alexander Meduna
Context Free Derivations on Word Monoids. [Citation Graph (0, 0)][DBLP] Acta Inf., 1989, v:27, n:8, pp:781-786 [Journal]
|