Publication Records

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://dx.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.