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, 2008, p. 234-239. ISBN 978-3-540-88386-9.

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, 2006, p. 311-318. ISBN 7-302-14060-X.

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