%0 Thesis %1 phd/Sack2002 %A Sack, Harald %D 2002 %K mypaper verification %T Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes

@phdthesis{phd/Sack2002, added-at = {2007-11-29T14:08:54.000+0100}, author = {Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2585c1d55b5490c3312d65060ab169f96/lysander07}, date = {2004-07-06}, description = {Dissertation}, ee = {http://ubt.opus.hbz-nrw.de/volltexte/2004/214/}, interhash = {25073749a0447f5335f0023716dcafba}, intrahash = {585c1d55b5490c3312d65060ab169f96}, keywords = {mypaper verification}, school = {Univ. Trier, FB 4, Informatik}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes}, year = 2002 }