The SCEAS System
Navigation Menu

Journals in DBLP

Formal Asp. Comput.
1999, volume: 11, number: 1

  1. David A. Duce, David J. Duke, Giorgio P. Faconti, Ivan Herman
    The Changing Face of Standardization: A Place for Formal Methods? [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:1, pp:1-20 [Journal]
  2. Dang Van Hung, Zhou Chaochen
    Probabilistic Duration Calculus for Continuous Time. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:1, pp:21-44 [Journal]
  3. Wim H. Hesselink
    The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:1, pp:45-55 [Journal]
  4. K. Rustan M. Leino
    Computing Permutation Encodings. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:1, pp:56-74 [Journal]
  5. Brendan P. Mahony
    The Least Conjunctive Refinement and Promotion in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:1, pp:75-105 [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