Filter

    2002

    1. Distributed Modular Model Checking
      CRHOVÁ, Jitka. Distributed Modular Model Checking. In 2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium. Edinburgh, 2002, p. 17-21.
      More: https://is.muni.cz/publication/406230/en
    2. Distributed Modular Model Checking (abstract)
      CRHOVÁ, Jitka. Distributed Modular Model Checking (abstract). In The Seventeenth IEEE International Conference on Automated Software Engineering. Los Alamitos: IEEE Computer Society, 2002, p. 312. ISBN 0-7695-1736-6.
      More: https://is.muni.cz/publication/406228/en
Display details