The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2004, volume: 6, number: 1

  1. Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
    Preface by the section editors. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:1-3 [Journal]
  2. Hardi Hungar, Bernhard Steffen
    Behavior-based model construction. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:4-14 [Journal]
  3. Xavier Rival
    Certification of compiled assembly code by invariant translation. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:15-37 [Journal]
  4. Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
    A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:38-66 [Journal]
  5. Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
    Using simulated execution in verifying distributed algorithms. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:67-76 [Journal]
  6. Farn Wang
    Efficient verification of timed automata with BDD-like data structures. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:77-97 [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