Výpis publikací

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 s. ISBN 3-642-03239-7.

   Podrobněji: https://is.muni.cz/publication/792699/cs