Filter

    2003

    1. Distributed Explicit Bounded LTL Model Checking
      KRČÁL, Pavel. Distributed Explicit Bounded LTL Model Checking. In Second International Workshop on Parallel and Distributed Model Checking. 89th ed. Neuveden: Elsevier, 2003, p. 30-47.
      More: https://is.muni.cz/publication/489717/en
Display details