UPPAAL in 1995 (1995)

by J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi
Venue:In In Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecture Notes In Computer Science