The SCEAS System
Navigation Menu

Journals in DBLP

STTT
1998, volume: 2, number: 1

  1. Gregor Snelting
    Paul Feyerabend and Software Technology. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:1-5 [Journal]
  2. Chris Hankin
    Program Analysis Tools. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:6-12 [Journal]
  3. Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
    Behavior Analysis for Validating Communication Patterns. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:13-28 [Journal]
  4. Michael Codish, Bart Demoen, Konstantinos F. Sagonas
    Semantics-Based Program Analysis for Logic-Based Languages Using XSB. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:29-45 [Journal]
  5. Florian Martin
    PAG - An Efficient Program Analyzer Generator. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:46-67 [Journal]
  6. Mihaela Sighireanu, Radu Mateescu
    Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:68-88 [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