Paralelni algoritmi izgradnje i manipulacije binarnim dijagramima odlučivanja : magistarski rad - Grudenić, Igor (Zagreb : I. Grudenić, 2006)
Na vrhu nasl. str.: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva
Fak. elektr. i rač., Zagreb, 2006
Bibliografija: listovi 97-101
Summary: Parallel algorithms for construction and manipulation of binary decision diagrams