%0 Conference Paper %1 MSS99 %A Meinel, Ch. %A Sack, H. %A Stangier, C. %B Proc of 17 th NORCHIP ' 99 Conference %D 1999 %K mypaper verification %P pp. 52-60 %T Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams %U http://www.minet.uni-jena.de/%7Esack/publications/norchip99.ps

@inproceedings{MSS99, added-at = {2007-11-29T15:58:03.000+0100}, author = {Meinel, Ch. and Sack, H. and Stangier, C.}, biburl = {https://www.bibsonomy.org/bibtex/2407eb8a1291971cb1d226d6ee064e05a/lysander07}, booktitle = {Proc of 17 th NORCHIP ' 99 Conference}, date = {Norway 1999}, description = {Publications of Harald Sack}, interhash = {7461b99636c44731022e14aeeefafe65}, intrahash = {407eb8a1291971cb1d226d6ee064e05a}, keywords = {mypaper verification}, location = {Oslo}, pages = {pp. 52-60}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {Overcoming Ordering Restrictions for Synthesizing Binary Decision Diagrams}, url = {http://www.minet.uni-jena.de/%7Esack/publications/norchip99.ps}, year = 1999 }