Publication Records

2003

1. Relating Hierarchy of Linear Temporal Properties to Model Checking

   Č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.

   URL

   Name in Czech: Hierarchie lineárních temporálních vlastností a ověřování modelů
   Name (in English): Relating Hierarchy of Linear Temporal Properties to Model Checking
   RIV/00216224:14330/03:00024523 Audiovisual works. Informatics. English. Czech Republic.
   Černá, Ivana (203 Czech Republic, guarantor) -- Pelánek, Radek (203 Czech Republic)
   Keywords in English: temporal logic; automata over infinite words; hierarchy of properties
   Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 23/6/2009 17:18.

   More: https://is.muni.cz/publication/491560/en
2. Relating Hierarchy of Temporal Properties to Model Checking

   Č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.

   RIV/00216224:14330/03:00008590 Proceedings paper. Informatics. English. Germany.
   Černá, Ivana (203 Czech Republic, guarantor) -- Pelánek, Radek (203 Czech Republic)
   Keywords in English: temporal logic; automata over infinite words; model checking
   International impact: yes
   Reviewed: yes
   Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 8/6/2009 16:09.
   Identification numbers: 4200509002

   More: https://is.muni.cz/publication/489732/en