Publication Records

ŠALOMOVÁ, Jaroslava. Od anticipace k modelování. Vědecké metody a literatura (From Anticipation to Modeling. Scientific methods and literature). In Literatura a filozofie (Zdeněk Mathauser). 1. vyd. Brno: Filozofická fakulta Masarykovy univerzity, 2008, p. 155–162. ISBN 978-80-210-4546-0.

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.