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

by Johan Bengtsson, Kim G Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
Venue:In Proc. of Workshop on Veri cation and Control of Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science