UPPAAL-a tool suite for the automatic verification of real-time systems
収録刊行物
-
- Proc. Hybrid Systems III, 1996
-
Proc. Hybrid Systems III, 1996 232-243, 1996
Spriger-Verlag