Title:
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
Author:
Jurdziński, Marcin. editor.
ISBN:
9783642333651
Physical Description:
X, 267 p. 71 illus. online resource.
Series:
Lecture Notes in Computer Science, 7595
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 7595
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-33365-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 197363-2001 | ONLINE | Searching... | Searching... |