Jurdzinski, Marcin books & textbook
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Theoretical Computer Science and General Issues)
Jurdzinski, Marcin Nickovic, Dejan
Springer /2012-08-17 Paperback / 277 Pages
isbn-10: 3642333648 / isbn-13: 9783642333644
