-
BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA a Jana TŮMOVÁ. Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla: ERCIM, 2008, s. 63-78. ISBN 978-3-642-03239-4.Podrobněji: https://is.muni.cz/publication/792968/cs
-
BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America: IEEE Computer Society, 2007, s. 215-216. ISBN 0-7695-2883-X.Podrobněji: https://is.muni.cz/publication/725399/cs
-
BENDA, Pavel; Ivo SEDLÁČEK a Zdena PÁČOVÁ. Srovnání některých numerických identifikačních metod. Remedia - Klinická mikrobiologie. Praha: PANAX, Co., s.r.o., 2000, roč. 2000, č. 4, s. 77-88. ISSN 1211-7684.Podrobněji: https://is.muni.cz/publication/326151/cs