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.

   URL

   Název česky: Hierarchie lineárních temporálních vlastností a ověřování modelů
   Název anglicky: Relating Hierarchy of Linear Temporal Properties to Model Checking
   RIV/00216224:14330/03:00024523 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
   Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
   Klíčová slova anglicky: temporal logic; automata over infinite words; hierarchy of properties
   Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 23. 6. 2009 17:18.

   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.

   RIV/00216224:14330/03:00008590 Stať ve sborníku. Informatika. angličtina. Německo.
   Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
   Klíčová slova anglicky: temporal logic; automata over infinite words; model checking
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:09.
   Přír. čísla: 4200509002

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