Theoretical and practical aspects of spin model checking (e-book)
Dams, Dennis
Theoretical and practical aspects of spin model checking (e-book) - Berlin Springer 1999 - Lecture Notes in Computer Science (LNCS) v.1680 .
978-3-540-48234-5
Theoretical and practical aspects of spin model checking (e-book) - Berlin Springer 1999 - Lecture Notes in Computer Science (LNCS) v.1680 .
978-3-540-48234-5