Výpis publikací

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ a Luboš BRIM. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. PLOS ONE. Public Library of Science, 2020, roč. 15, č. 9, s. 1-23, 24 s. ISSN 1932-6203. Dostupné z: https://dx.doi.org/10.1371/journal.pone.0238838.

BRIM, Luboš a 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, s. 107-121. ISSN 1571-0661.

CRHOVÁ, Jitka. Distributed Modular Model Checking. In 2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium. Edinburgh, 2002, s. 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, s. 312. ISBN 0-7695-1736-6.

PALLASOVÁ, Eva. Formální postupy morfologické adaptace přejatých proprií v staroslověnštině. In Festschrift für Klaus Trost zum 65. Geburtstag. Mnichov: E.Hansack et al.(ed.), 1999, s. 233-239. ISBN 3-87690-739-X.