Min Wan. Decision Diagram Algorithms for Logic and Timed Verification. PhD thesis, University of California, Riverside, USA, 2008. [doi]
@phdthesis{basesearch-1797,
title = {Decision Diagram Algorithms for Logic and Timed Verification},
author = {Min Wan},
year = {2008},
url = {https://www.base-search.net/Record/e13d5c1746870bb6f4ed6c55136121d2000c8fbe72702ff880f9e1d796e87daf},
note = {base-search.net (ftcdlib:qt6ps5p82s)},
researchr = {https://researchr.org/publication/basesearch-1797},
cites = {0},
citedby = {0},
school = {University of California, Riverside, USA},
}