Výpis publikací

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

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.