The SCEAS System
Navigation Menu

Journals in DBLP

STTT
1998, volume: 2, number: 2

  1. Perdita Stevens
    A Verification Tool Seveloper's Vade Mecum. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:89-94 [Journal]
  2. Kurt Jensen
    Coloured Petri Nets - Preface by the Section Editor. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:95-97 [Journal]
  3. Lars Michael Kristensen, Søren Christensen, Kurt Jensen
    The Practitioner's Guide to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:98-132 [Journal]
  4. Jianli Xu, Juha Kuusela
    Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:133-143 [Journal]
  5. Steven Gordon, Jonathan Billington
    Analysing a Missile Simulator with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:144-159 [Journal]
  6. Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras
    Analysing a Mechatronic System with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:160-167 [Journal]
  7. Lee W. Wagenhals, Insub Shin, Alexander H. Levis
    Creating Executable Models of Influence Nets with Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:168-181 [Journal]
  8. Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
    Analysing Superscalar Processor Architectures with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:182-191 [Journal]
  9. Amir Pnueli, Ofer Strichman, Michael Siegel
    The Code Validation Tool CVT: Automatic Verification of a Compilation Process. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:192-201 [Journal]
  10. Thomas Friese, Tiziana Margaria, Alfred Hofmann
    Integrating Printed and Online Information. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:2, pp:202- [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