Filtrování

    2009

    1. Efficient Large-Scale Model Checking
      VERSTOEP, Kees; Henri E. BAL; Jiří BARNAT a Luboš BRIM. Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE: IEEE, 2009, s. 201-212. ISBN 978-1-4244-3751-1.
      Podrobněji: https://is.muni.cz/publication/834666/cs
Zobrazit podrobně