Henrik Brosenne, Matthias Homeister, Stephan Waack. Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance. Inf. Process. Lett., 98(1):6-10, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.