Extending model checkers for hybrid system verification: the case study of SPIN (in press)

TitleExtending model checkers for hybrid system verification: the case study of SPIN (in press)
Publication TypeJournal Article
Year of Publication2013
AuthorsGallardo M-del-M, Panizo L
JournalSoftware Testing Verification & Reliability
Volume24
Pagination438–471
ISSN0960-0833