Filtrování

    2006

    1. Cluster-Based LTL Model Checking of Large Systems D - Stať ve sborníku
      BARNAT, Jiří; Luboš BRIM a Ivana ČERNÁ. Cluster-Based LTL Model Checking of Large Systems. In Formal Methods for Components and Objects. Berlin: Springer, 2006, s. 259-279. ISBN 978-3-540-36749-9.
      Podrobněji: https://is.muni.cz/publication/702469/cs

    2005

    1. Distributed Analysis of Large Systems D - Stať ve sborníku
      BARNAT, Jiří; Luboš BRIM a Ivana ČERNÁ. Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam: CWI Amsterdam, 2005, s. 31-35, 4 s.
      Podrobněji: https://is.muni.cz/publication/589662/cs
Zobrazit podrobně