Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
by Uli Fahrenberg, Stavros Tripakis Paperback 2011
- Author: Uli Fahrenberg, Stavros Tripakis
- ISBN 13: 9783642243097
- ISBN 10: 3642243096
- Publication Year: 2011
- Language: English
Specifications
| Index-10 | 3642243096 |
|---|---|
| Index-13 | 9783642243097 |
| Language | English |