Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and 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, p. 307-321. ISBN 978-3-642-00254-0. Available from: https://dx.doi.org/10.1007/978-3-642-00255-7_21.

    2008

    1. BENEŠ, Nikola, Luboš BRIM, Ivana ČERNÁ, Jiří SOCHOR, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Partial Order Reduction for State/Event LTL. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2008, 21 pp. Technical report FIMU-RS-2008-07.
Display details
Displayed: 2/11/2024 12:34