Jump to Navigation

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., and L. Panizo
JournalSoftware Testing Verification & Reliability
Volume24
Pagination438–471
PublisherWiley & Sons
ISSN0960-0833


Main menu 2

Biblio | by Dr. Radut