Výpis publikací

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.

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.

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.