VIVO
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Computer Aided Verification
Book
Overview
Identity
View All
Overview
publication venue for
The nuXmv Symbolic Model Checker
2014
publisher
Springer Nature
Publisher
Identity
International Standard Book Number (ISBN) 13
978-3-319-08866-2
978-3-319-08867-9