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: 13/11/2024 02:44