DMCA

Uppaal: a Tool Suite for Validation and Verification of Real-Time Systems (1996)

Cached

Download Links

by Johan Bengtsson , Fredrik Larsson , Paul Pettersson , Wang Yi , Palle Christensen , Jesper Jensen , Per Jensen , Kim Larsen , Thomas Sorensen
Citations:5 - 1 self