Filtrování

    2004

    1. Using Accepting Predecessors in Distributed LTL Model-Checking D - Stať ve sborníku
      MORAVEC, Pavel. Using Accepting Predecessors in Distributed LTL Model-Checking. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004, s. 122-129, 7 s.
      Podrobněji: https://is.muni.cz/publication/569568/cs
Zobrazit podrobně