Publication Records

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN and 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, vol. 8, No 3, p. 204-215. ISSN 1433-2779.

PELÁNEK, Radek, Kim G. LARSEN, Gerd BEHRMANN and 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, p. 312-326. ISBN 3-540-21299-X.

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