Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Fighting State Space Explosion: Review and Evaluation
      PELÁNEK, Radek. Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, 15 pp. ISBN 3-642-03239-7.
      More: https://is.muni.cz/publication/792699/en
Display details
Displayed: 12/10/2024 20:32