Filtrování

    2003

    1. Distributed Explicit Bounded LTL Model Checking D - Stať ve sborníku
      KRČÁL, Pavel. Distributed Explicit Bounded LTL Model Checking. In Second International Workshop on Parallel and Distributed Model Checking. 89. vyd. Neuveden: Elsevier, 2003, s. 30-47.
      Podrobněji: https://is.muni.cz/publication/489717/cs
Zobrazit podrobně