The SCEAS System
Navigation Menu

Journals in DBLP

Nord. J. Comput.
2002, volume: 9, number: 4

  1. Magne Haveraaen, Michael R. Hansen
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:267-268 [Journal]
  2. Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
    Code Synthesis for Timed Automata. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:269-300 [Journal]
  3. Jochen Hoenicke, Ernst-Rüdiger Olderog
    CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:301-334 [Journal]
  4. Flemming Nielson, Helmut Seidl, Hanne Riis Nielson
    A Succinct Solver for ALFP. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:335-372 [Journal]
  5. Eric G. Wagner
    Algebraic Specifications: some old history and new thoughts. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:373-404 [Journal]
  6. Heike Wehrheim
    Relating State-based and Behaviour-oriented Subtyping. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:405-435 [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