Title:
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Author:
Braberman, Víctor. editor.
ISBN:
9783642402296
Physical Description:
X, 275 p. 70 illus. online resource.
Series:
Lecture Notes in Computer Science, 8053
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-40229-6Copies: 1
Available:1
Library  | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Online Library | E-Book | 334913-1001 | ONLINE(334913.1) | Elektronik Kütüphane | Unavailable |