Výpis publikací

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2006, roč. 8, č. 3, s. 204-215. ISSN 1433-2779.

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN a Patricia BOUYER. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. In Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004). Barcelona (Španělsko): Springer-Verlag, 2004, s. 312-326. ISBN 3-540-21299-X.

FILIP, David. Doslov. In Wilhelm Worringer, Abstrakce a vcítění (transl. & epilogue David Filip). Praha: Triáda, 2001, s. 131-150. edice Delfín, sv. 35. ISBN 80-86138-35-6.