Výpis publikací

2006

1. Model Checking of RegCTL

   ČERNÁ, Ivana a Tomáš BRÁZDIL. Model Checking of RegCTL. Computing and Informatics. 2006, roč. 25, č. 1, s. 81-97, 16 s. ISSN 1335-9150.

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