Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2003

  1. Č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.
  2. Č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.
Zobrazit podrobně
Zobrazeno: 22. 4. 2021 22:52