Masarykova univerzita
Výpis publikací
česky
|
in English
Filtrování publikací
Omezující kritéria
Určeno pro RIV:
ano
ne
Rok uplatnění publikace:
2008
Zrušit všechna omezení
Zvoleným kritériím neodpovídá žádná publikace.
2008
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
Zobrazit podrobně
Zobrazeno:
28. 10. 2024 23:07