Masaryk University

Publication Records

česky | in English

Filter publications

    2007

    1. Scalable Multi-core LTL Model-Checking
      BARNAT, Jiří, Luboš BRIM and Petr ROČKAI. Scalable Multi-core LTL Model-Checking. In Model Checking Software. 1st ed. Berlin, Heidelberg: Springer-Verlag, 2007, p. 187-203. ISBN 978-3-540-73369-0.
      More: https://is.muni.cz/publication/720747/en
Display details
Displayed: 11/11/2024 00:34