%0 Conference Paper %1 MS97 %A Meinel, Ch. %A Sack, H. %B Proc. of the 3 rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 97) %D 1997 %K mypaper verification %T Case Study: Manipulating Mod 2 OBDDs by Means of Signatures %U http://www.minet.uni-jena.de/%7Esack/publications/97-15.ps

@inproceedings{MS97, added-at = {2007-11-29T15:56:59.000+0100}, author = {Meinel, Ch. and Sack, H.}, biburl = {https://www.bibsonomy.org/bibtex/237a70896259ad873f491d4f255d7b3c1/lysander07}, booktitle = {Proc. of the 3 rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design(Reed-Muller ' 97)}, date = {1997}, description = {Publications of Harald Sack}, interhash = {f612258087d04c69d2ebe964e602330a}, intrahash = {37a70896259ad873f491d4f255d7b3c1}, keywords = {mypaper verification}, location = {Oxford, UK}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {Case Study: Manipulating Mod 2 OBDDs by Means of Signatures}, url = {http://www.minet.uni-jena.de/%7Esack/publications/97-15.ps}, year = 1997 }