Filtrování

    2005

    1. Under-Approximation Generation using Partial Order Reduction B - Odborná kniha
      BRIM, Luboš; Ivana ČERNÁ; Pavel MORAVEC a Jiří ŠIMŠA. Under-Approximation Generation using Partial Order Reduction. Brno: Faculty of Informatics, 2005, 21 s. Technical Reports, FIMU-RS-2005-04.
      Podrobněji: https://is.muni.cz/publication/571173/cs
Zobrazit podrobně