1. Functional testing with binary decision diagram;Akers;Proc. 8th Intl. Symp. Fault Tolerant Comp.,1978
2. Collection of papers in the special issue on Hardware Description Languages;Computer,1974
3. Binary decision diagram;Akers;IEEE Trans. Computers,1978
4. Symbolic execution of formal machine descriptions;Oakley,1979
5. Representation of switching circuits by binary decision programs;Lee;Bell Syst. Tech. J.,1959