Masarykova univerzita

Výpis publikací

2009

CoIn Tool Set (software)

BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ a Milan KŘIVÁNEK. CoIn Tool Set. 2009.

Podrobněji: https://is.muni.cz/publication/878167/cs

Partial Order Reduction for State/Event LTL

BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany: Springer Verlag, 2009. s. 307-321. ISBN 978-3-642-00254-0. doi:10.1007/978-3-642-00255-7_21.

Podrobněji: https://is.muni.cz/publication/825059/cs

2008

Partial Order Reduction for State/Event LTL

BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2008. 21 s. Technical report FIMU-RS-2008-07.

Podrobněji: https://is.muni.cz/publication/776295/cs