Masaryk University

Publication Records

česky | in English

Filter publications

    2011

    1. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
      BENEŠ, Nikola, Ivana ČERNÁ and Milan KŘIVÁNEK. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. Online. In Jiří Barnat and Keijo Heljanko. Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden: Open Publishing Association, 2011, p. 63-67. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.72.
      More: https://is.muni.cz/publication/960030/en

    2010

    1. CoIn-DiVinE (software)
      BENEŠ, Nikola, Ivana ČERNÁ and Milan KŘIVÁNEK. CoIn-DiVinE. 2010.
      More: https://is.muni.cz/publication/935983/en

    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. Space Effective Model Checking for Component-Interaction Automata
      BENEŠ, Nikola, Milan KŘIVÁNEK and Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009, 8 pp. ISBN 978-3-939897-15-6.
      More: https://is.muni.cz/publication/875218/en
Display details
Displayed: 8/11/2024 23:35