%0 Conference Paper %1 SDM00 %A Sack, H. %A Dubrova, E. %A Meinel, Ch. %B Proc. of IEEE / ACM Int. Workshop of Logic Synthesis (IWLS 2000) %D 2000 %K mypaper verification %P pp. 341-348 %T Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams %U http://www.minet.uni-jena.de/%7Esack/publications/iwls2001.pdf

@inproceedings{SDM00, added-at = {2007-11-29T15:42:18.000+0100}, author = {Sack, H. and Dubrova, E. and Meinel, Ch.}, biburl = {https://www.bibsonomy.org/bibtex/22d5b4bfacd9179eb28be4d8f9381beac/lysander07}, booktitle = {Proc. of IEEE / ACM Int. Workshop of Logic Synthesis (IWLS 2000)}, date = {2000}, description = {Publications of Harald Sack}, interhash = {92bb5cff6efffd0a71c7c0df4ebef54c}, intrahash = {2d5b4bfacd9179eb28be4d8f9381beac}, keywords = {mypaper verification}, location = {Dana Point, CA, USA}, pages = {pp. 341-348}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {Representation of Multiple-Valued Functions with Mod-p-Decsion Diagrams}, url = {http://www.minet.uni-jena.de/%7Esack/publications/iwls2001.pdf}, year = 2000 }