UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems (1996)

Cached

Download Links

by Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi
Citations:186 - 14 self