Masaryk University

Publication Records

česky | in English

Filter publications

    2003

  1. ČERNÁ, Ivana and 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 and Radek PELÁNEK. Relating Hierarchy of Temporal Properties to Model Checking. In Mathematical Foundations of Computer Science (MFCS 2003). Bratislava (Slovensko): Springer-Verlag, 2003. p. 318-327. ISBN 3-540-40671-9.
Display details
Displayed: 10/5/2021 20:00