Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings (Lecture Notes in Computer Science, Band 6246)

von: Krishnendu Chatterjee · Thomas A. Henzinger Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-15296-2 ISBN-10: 3-642-15296-1 Springer · 2010