et al.: UPPAAL in a Nutshell 19 (1995)

by Johan Bengtsson, Kim G Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
Venue:In Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecture