Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Book title Buchtitel
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Publisher Herausgeber
Lecture Notes in Computer Science
Place of publishing Erscheinungsort
8053
DOI
10.1007/978-3-642-40229-6
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.002 seconds).