Cite
HARVARD Citation
Gallardo, M. et al. (2014). Extending model checkers for hybrid system verification: the case study of SPIN. Software testing, verification & reliability. pp. 438-471. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Gallardo, M. et al. (2014). Extending model checkers for hybrid system verification: the case study of SPIN. Software testing, verification & reliability. pp. 438-471. [Online].