Author: Agata Polrola Support1 Ebooks by Agata Polrola Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata … PDF English DRM €165.39 0 0 Checkout 0,00 × × × Change user language × ArabicGermanEnglishSpanishFrenchHindiIndonesianItalianMalayDutchPolishPortugueseRomanianRussianSwedishThaiTurkishUkrainianVietnameseChineseInternational Modal ×