Výpis publikací

KOVÁŘ, Vojtěch, Aleš HORÁK a Miloš JAKUBÍČEK. Power Networks Dialogs - Enhancing Domain-Specific Text Processing Techniques and Resources. In Proceedings of ELNET 2008. Ostrava: Faculty of Electrical Engineering and Computer Science, VŠB - Technical University of Ostrava, 2008, s. 72-80. ISBN 978-80-248-1875-7.

BEHRMANN, Gerd, Kim G. LARSEN a Radek PELÁNEK. To Store or Not To Store. In Computer Aided Verification (CAV 2003). Boulder (Colorado, USA): Springer-Verlag, 2003, s. 433-445. ISBN 3-540-40524-0.