Publication Records

BARNAT, Jiří, Luboš BRIM and Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer. p. 234-239. ISBN 978-3-540-88386-9. 2008.

HORÁK, Aleš and Vladimír KADLEC. Platform for Full-Syntax Grammar Development Using Meta-grammar Constructs. In Proceedings of the 20th Pacific Asia Conference on Language, Information and Computation. 2006th ed. Beijing, China: Tsinghua University Press. p. 311-318. ISBN 7-302-14060-X. 2006.

ŠMAJS, Josef. Technology. In Encyclopedia of anthropology. Londýn: Sage publications Ltd. p. 2165-2167. ISBN 0-7619-3029-9. 2006.