Formal Modeling and Analysis of Timed Systems [E-Book]: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / edited by Marcin Jurdziński, Dejan Ničković.
Jurdziński, Marcin.
Ničković, Dejan.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642333651
10.1007/978-3-642-33365-1
Lecture notes in computer science ; 7595
Full Text
Description not available.