Cover image for Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 334913-1001 ONLINE(334913.1)
Searching...

On Order