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:171 - 13 self