Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}