Výpis publikací

2003

1. Relating Hierarchy of Linear Temporal Properties to Model Checking

   ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Linear Temporal Properties to Model Checking. Brno, Czech Republic: FI MU, 2003. Technical report FIMU-RS-2003-03.

   Podrobněji: https://is.muni.cz/publication/491560/cs
2. Relating Hierarchy of Temporal Properties to Model Checking

   ČERNÁ, Ivana a Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003, s. 318-327. ISBN 3-540-40671-9.

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