-
TROJÁK, Matej; David ŠAFRÁNEK; Lukrécia MERTOVÁ and Luboš BRIM. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. PLOS ONE. Public Library of Science, 2020, vol. 15, No 9, p. 1-23, 24 pp. ISSN 1932-6203. Available from: https://doi.org/10.1371/journal.pone.0238838.
-
BRIM, Luboš and Martin LEUCKER. 11th International Workshop on Formal Methods for Industrial Critical Systems. 2006.
-
ŠAFRÁNEK, David. Visual Specification of Systems with Heterogeneous Coordination Models. In Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures. London: ENTCS, 2004, p. 107-121. ISSN 1571-0661.
-
CRHOVÁ, Jitka. Distributed Modular Model Checking. In 2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium. Edinburgh, 2002, p. 17-21.
-
CRHOVÁ, Jitka. Distributed Modular Model Checking (abstract). In The Seventeenth IEEE International Conference on Automated Software Engineering. Los Alamitos: IEEE Computer Society, 2002, p. 312. ISBN 0-7695-1736-6.
-
PALLASOVÁ, Eva. Formální postupy morfologické adaptace přejatých proprií v staroslověnštině (The Formal Methods of the Morphological Adaptation of the Borrowed Propria in Old Church Slavonic). In Festschrift für Klaus Trost zum 65. Geburtstag. Mnichov: E.Hansack et al.(ed.), 1999, p. 233-239. ISBN 3-87690-739-X.