На данной странице предаставлены все книги автора «Marcin Jurdzinski»
Formal Modeling and Analysis of Timed Systems. 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Marcin Jurdzinski,Dejan Nickovic)