Journals in DBLP

Nord. J. Comput.
2001, volume: 8, number: 1

1. Kaisa Sere, Wang Li
   Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:1- [Journal]
   
2. Ralph-Johan Back, Luigia Petre, Ivan Porres
   Continuous Action Systems as a Model for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:2-21 [Journal]
   
3. Ana Bove
   Simple General Recursion in Type Theory. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:22-42 [Journal]
   
4. Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
   Guided Synthesis of Control Programs Using UPPAAL. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:43-64 [Journal]
   
5. Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
   Incremental Requirement Specification for Evolving Systems. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:65-87 [Journal]
   
6. R. F. Lutje Spelberg, W. J. Toetenel
   Parametric Real-Time Model Checking Using Splitting Trees. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:88-120 [Journal]
   
7. Simon Mørk
   Distributed Implementation of a Process-Algebra Based Programming Language for Embedded Systems. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:121-158 [Journal]
   
8. Mauno Rönkkö, Xuandong Li
   Linear Hybrid Action Systems. [Citation Graph (0, 0)][DBLP]
   Nord. J. Comput., 2001, v:8, n:1, pp:159-0 [Journal]