MIU Scholars' Intellectual Outputs
Index
Log in
Search form
Home
People
Research
Org/Dep(s)
Capability Map
Events
Academic Publishing
Indexing DB
Lecture Notes in Computer Science
Book
Overview
Identity
View All
Overview
publication venue for
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata
2010
publisher
Springer Berlin Heidelberg
Publisher
Identity
International Standard Book Number (ISBN) 13
9783642148422
9783642148439