The SCEAS System
Navigation Menu

Journals in DBLP

Acta Inf.
1989, volume: 27, number: 8

  1. Wladyslaw M. Turski
    On Specification of Multiprocessor Computing. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:8, pp:685-696 [Journal]
  2. 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]
  3. 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]
  4. Andreas Weber
    On the Valuedness of Finite Transducers. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:8, pp:749-780 [Journal]
  5. Alexander Meduna
    Context Free Derivations on Word Monoids. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:8, pp:781-786 [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