Výpis publikací

2005

1. Under-Approximation Generation using Partial Order Reduction

   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