Masaryk University

Publication Records

česky | in English

Filter publications

    2009

    1. CoIn Tool Set (software)
      BENEŠ, Nikola, Barbora BÜHNOVÁ, Ivana ČERNÁ and Milan KŘIVÁNEK. CoIn Tool Set. 2009.
      More: https://is.muni.cz/publication/878167/en
    2. Partial Order Reduction for State/Event LTL
      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.
      More: https://is.muni.cz/publication/825059/en

    2008

    1. Partial Order Reduction for State/Event LTL
      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.
      More: https://is.muni.cz/publication/776295/en
Display details
Displayed: 26/4/2024 05:46