- K. Havelund and K. G. Larsen. The fork
calculus. Nordic Journal of Computing, 1(3):346-363, Fall
1994.
Abstract,
References,
etc.
- J. C. Godskesen and K. G. Larsen. Synthesizing
Distinguishing Formulae for Real Time Systems. Nordic Journal of
Computing, 2(3):338-357, Fall 1995.
Abstract,
References,
etc.
- Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi. Clock
Difference Diagrams. Nordic Journal of Computing,
6(3):271-298, Fall 1999.
Abstract,
References,
etc.
- Thomas Hune, Kim G. Larsen, and Paul Pettersson. Guided Synthesis
of Control Programs Using UPPAAL. Nordic Journal of
Computing, 8(1):43-64, Spring 2001.
Abstract,
References,
etc.
Shortcuts: