Filter

    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, p. 122-129, 7 pp.
      More: https://is.muni.cz/publication/569568/en
Display details