%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
}