%0 Conference Paper %1 DBLP:conf/ismvl/DubrovaS00 %A Dubrova, Elena %A Sack, Harald %B 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings %D 2000 %I IEEE Computer Society %K imported %P 460--466 %R 10.1109/ISMVL.2000.848659 %T Probabilistic Verification of Multiple-Valued Functions %U https://doi.org/10.1109/ISMVL.2000.848659

@inproceedings{DBLP:conf/ismvl/DubrovaS00, added-at = {2022-09-15T11:04:20.000+0200}, author = {Dubrova, Elena and Sack, Harald}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2f1d791a989c9d28e976e984d2ef1793e/vivienvetter}, booktitle = {30th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL} 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings}, doi = {10.1109/ISMVL.2000.848659}, interhash = {d7dfed0511fc006023d57ed81c0fd239}, intrahash = {f1d791a989c9d28e976e984d2ef1793e}, keywords = {imported}, pages = {460--466}, publisher = {{IEEE} Computer Society}, timestamp = {2022-09-15T11:04:20.000+0200}, title = {Probabilistic Verification of Multiple-Valued Functions}, url = {https://doi.org/10.1109/ISMVL.2000.848659}, year = 2000 }