-
PELÁNEK, Radek. Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2008, roč. 10, č. 5, s. 443-454. ISSN 1433-2779.Podrobněji: https://is.muni.cz/publication/792695/cs
-
PELÁNEK, Radek. Typical Structural Properties of State Spaces. In SPIN Workshop 2004. Barcelona (Španělsko): Springer-Verlag, 2004, s. 5-22, 15 s. ISBN 3-540-21314-7.Podrobněji: https://is.muni.cz/publication/562993/cs
-
BEHRMANN, Gerd; Kim G. LARSEN a Radek PELÁNEK. To Store or Not To Store. In Computer Aided Verification (CAV 2003). Boulder (Colorado, USA): Springer-Verlag, 2003, s. 433-445. ISBN 3-540-40524-0.Podrobněji: https://is.muni.cz/publication/489730/cs