Formal Modeling and Analysis of Timed Systems
Springer Science & Business Media
Title |
Formal Modeling and Analysis of Timed Systems
|
---|---|
Published by |
Springer Science & Business Media, September 2011
|
DOI | 10.1007/978-3-642-24310-3 |
ISBNs |
978-3-64-224309-7, 978-3-64-224310-3
|
Editors |
Fahrenberg, Uli, Tripakis, Stavros, Fahrenberg, Uli, Tripakis, Stavros |