Distributed binary decision diagrams - Fasan, Mary Oluwasola (Stellenbosch : University of Stellenbosch, 2010)
Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2010.