Výpis publikací

2002

1. $\xor$-OBDD in Symbolic Model Checking

   ŘEHÁK, Vojtěch. $\xor$-OBDD in Symbolic Model Checking. In SOFSEM 2002: Student Research Forum. Milovy (Czech Republic): Slovak University of Technology, 2002, s. 41-46.

   Podrobněji: https://is.muni.cz/publication/406618/cs