%0 Conference Paper %1 conf/ftcs/DoyleD95 %A Doyle, Stacy A. %A Dugan, Joanne Bechta %B FTCS %D 1995 %I IEEE Computer Society %K dblp %P 249-258 %T Dependability Assessment using Binary Decision Diagrams (BDDs). %U http://dblp.uni-trier.de/db/conf/ftcs/ftcs95.html#DoyleD95 %@ 0-8186-7079-7

@inproceedings{conf/ftcs/DoyleD95, added-at = {2023-03-24T00:00:00.000+0100}, author = {Doyle, Stacy A. and Dugan, Joanne Bechta}, biburl = {https://www.bibsonomy.org/bibtex/2ad553268ad1dc7035ae2c970c1bb33fa/dblp}, booktitle = {FTCS}, crossref = {conf/ftcs/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/FTCS.1995.466973}, interhash = {f87bbe511b95e6affe445e6338dd43b6}, intrahash = {ad553268ad1dc7035ae2c970c1bb33fa}, isbn = {0-8186-7079-7}, keywords = {dblp}, pages = {249-258}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:48:51.000+0200}, title = {Dependability Assessment using Binary Decision Diagrams (BDDs).}, url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs95.html#DoyleD95}, year = 1995 }