Masaryk University

Publication Records

česky | in English

Filter publications

    2006

    1. Model Checking of RegCTL
      ČERNÁ, Ivana and Tomáš BRÁZDIL. Model Checking of RegCTL. Computing and Informatics. 2006, vol. 25, No 1, p. 81-97, 16 pp. ISSN 1335-9150.
      More: https://is.muni.cz/publication/703367/en
Display details
Displayed: 29/9/2024 00:49