Filtrování

    2007

    1. Scalable Multi-core LTL Model-Checking D - Stať ve sborníku
      BARNAT, Jiří; Luboš BRIM a Petr ROČKAI. Scalable Multi-core LTL Model-Checking. In Model Checking Software. 1. vyd. Berlin, Heidelberg: Springer-Verlag, 2007, s. 187-203. ISBN 978-3-540-73369-0.
      Podrobněji: https://is.muni.cz/publication/720747/cs
Zobrazit podrobně