%0 Book Section %1 MSW02 %A Meinel, Christoph %A Sack, Harald %A Wagner, Arno %B Experimental Algorithmics, Lecture Notes in Computer Science LNCS 2547 %C Berlin, Heidelberg, New York %D 2002 %E Fleischer, R. %E Schmidt, E. Meineche %E Moret, B. %I Springer Verlag %K mypaper obdd portal verification www %P 127--137 %T WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms %U http://www.minet.uni-jena.de/%7Esack/publications/bddportal.ps

@inbook{MSW02, added-at = {2006-09-30T17:49:10.000+0200}, address = {Berlin, Heidelberg, New York}, author = {Meinel, Christoph and Sack, Harald and Wagner, Arno}, biburl = {https://www.bibsonomy.org/bibtex/2ffce101b423d07b48ab05e480523f4eb/lysander07}, booktitle = {Experimental Algorithmics, Lecture Notes in Computer Science LNCS 2547}, editor = {Fleischer, R. and Schmidt, E. Meineche and Moret, B.}, interhash = {aac57873f2aa5a5c2950d97cdc6555c3}, intrahash = {ffce101b423d07b48ab05e480523f4eb}, keywords = {mypaper obdd portal verification www}, pages = {127--137}, publisher = {Springer Verlag}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms}, url = {http://www.minet.uni-jena.de/%7Esack/publications/bddportal.ps}, year = 2002 }