VIVO
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Lecture Notes in Computer Science
Book
Overview
Identity
View All
Overview
publication venue for
Solving Temporal Problems Using SMT: Strong Controllability
2012
publisher
Springer Nature
Publisher
Identity
International Standard Book Number (ISBN) 13
978-3-642-33557-0
978-3-642-33558-7