Sim <br/><br/>
Manipulating of Boolean functions based on decision diagrams 
Sim Poh Ching 
 - [s.l]  [s.n]  2003 
 - 1 CD-ROM  4 3/4inc 
<br/><br/>Includes bibliographical references