Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ]