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
Kratos – A Software Model Checker for SystemC
2011
publisher
Springer Nature
Publisher
Identity
International Standard Book Number (ISBN) 13
978-3-642-22109-5
978-3-642-22110-1