Publication Records

KOVÁŘ, Vojtěch, Aleš HORÁK and 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, p. 72-80. ISBN 978-80-248-1875-7.

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