Masaryk University

Publication Records

česky | in English

Filter publications

    2005

    1. Under-Approximation Generation using Partial Order Reduction
      BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. Under-Approximation Generation using Partial Order Reduction. Brno: Faculty of Informatics, 2005, 21 pp. Technical Reports, FIMU-RS-2005-04.
      More: https://is.muni.cz/publication/571173/en
Display details
Displayed: 13/9/2024 18:09