Faster Than Uppaal?

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70545-1_53 ◽

2008 ◽

pp. 552-555 ◽

Author(s):

Sebastian Kupferschmid ◽

Martin Wehrle ◽

Bernhard Nebel ◽

Andreas Podelski

Download Full-text