Widok standardowy
Widok MARC
Szreter, Maciej. (Hasło osobowe)
Pracownik naukowy Instytutu Podstaw Informatyki PAN.
Reachability analysis for timed automata based on partitioning / Agata Półrola, Wojciech Penczek, Maciej Szreter. - Warszawa, 2003.
www.ipipan.waw.pl