Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
by Martin änzle, Nicolas Markey Paperback 2016
- Author: Martin änzle, Nicolas Markey
- ISBN 13: 9783319448770
- ISBN 10: 3319448773
- Publication Year: 2016
- Language: English
Specifications
| Index-10 | 3319448773 |
|---|---|
| Index-13 | 9783319448770 |
| Language | English |