Uppaal | a Tool Suite for Automatic Veri cation of Real{Time Systems (1995)

by J Bengtsson, K G Larsen, F Larsson, P Pettersson, Wang Yi
Venue:In Proc. of Workshop on Veri cation and Control of Hybrid Systems III, number 1066 in LNCS