Filter

    2003

    1. Parallel Breadth-First Search LTL Model-Checking
      BARNAT, Jiří; Luboš BRIM and Jakub CHALOUPKA. Parallel Breadth-First Search LTL Model-Checking. In 18th IEEE International Conference on Automated Software Engineering (ASE'03). Montreal: IEEE Computer Society, 2003, p. 106-115. ISBN 0-7695-2035-9.
      More: https://is.muni.cz/publication/489814/en
Display details