Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings: 7595 (Lecture Notes in Computer Science)
by Marcin Jurdzinski, Dejan Nickovic
ISBN 13: 9783642333644
Format: Paperback (280 pages) Publisher: Springer Published: 17 Aug 2012
Save for later