English
Advanced
Principles of Model Checking
Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen
2008
View book
Discover references
model checking
Books
2 results
English
Advanced
Principles of Model Checking (Instructor Solution Manual, Solutions)
Christel Baier,Joost-Pieter Katoen
2008
View book