External Links

    Journal: Nord. J. Comput.

    Volume 9, Issue 4

    267 -- 268Magne Haveraaen, Michael R. Hansen. Guest Editors Foreword
    269 -- 300Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi. Code Synthesis for Timed Automata
    301 -- 334Jochen Hoenicke, Ernst-Rüdiger Olderog. CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time
    335 -- 372Flemming Nielson, Helmut Seidl, Hanne Riis Nielson. A Succinct Solver for ALFP
    373 -- 404Eric G. Wagner. Algebraic Specifications: some old history and new thoughts
    405 -- 435Heike Wehrheim. Relating State-based and Behaviour-oriented Subtyping
    runs on