%0 Conference Paper %1 MS98a %A Meinel, Ch. %A Sack, H. %B Proc. of the 1998 IEEE / ACM Int. Workshop on Logic Synthesis(IWLS 98) %D 1998 %K mypaper verification %P pp. 19--24 %T Mod 2 OBDDs-a BDD Structure for Probabilistic Verification %U http://www.minet.uni-jena.de/%7Esack/publications/iwls98.ps

@inproceedings{MS98a, added-at = {2007-11-29T15:53:43.000+0100}, author = {Meinel, Ch. and Sack, H.}, biburl = {https://www.bibsonomy.org/bibtex/26ffabb51312211c5eb9e11f73f31c3d9/lysander07}, booktitle = {Proc. of the 1998 IEEE / ACM Int. Workshop on Logic Synthesis(IWLS 98)}, date = {1998}, description = {Publications of Harald Sack}, interhash = {e74f9d6447eaa61d07da9ff829bebff2}, intrahash = {6ffabb51312211c5eb9e11f73f31c3d9}, keywords = {mypaper verification}, location = {Lake Tahoe, CA}, pages = {pp. 19--24}, timestamp = {2009-01-27T15:24:50.000+0100}, title = {Mod 2 OBDDs-a BDD Structure for Probabilistic Verification}, url = {http://www.minet.uni-jena.de/%7Esack/publications/iwls98.ps}, year = 1998 }