![](/img/cover-not-exists.png)
Extending model checkers for hybrid system verification: the case study of SPIN
Gallardo, María-del-Mar, Panizo, LauraVolume:
24
Language:
english
Journal:
Software Testing, Verification and Reliability
DOI:
10.1002/stvr.1505
Date:
September, 2014
File:
PDF, 1.44 MB
english, 2014