Scaling up UPPAAL: automatic verification of real-time systems using compositionality and abstraction (2000)

Cached

Download Links

by Henrik Ejersbo Jensen , Kim Guldstrand , Arne Skou
Venue: Proc. FTRTFT 2000. 84 ALTISEN ET AL
Citations:25 - 4 self