Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
by David Magnuson, Laurent Fribourg Paperback 2013
- Author: David Magnuson, Laurent Fribourg
- ISBN 13: 9783642402289
- ISBN 10: 3642402283
- Publication Year: 2013
- Language: English
Specifications
Index-103642402283
LanguageEnglish
Index-139783642402289
Period-
Class Track-
Publisher- (2013)
Pages-