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]