%0 Journal Article %1 tr/trier/MI99-23 %A Dubrova, Elena %A Sack, Harald %D 1999 %J Universität Trier, Mathematik/Informatik, Forschungsbericht %K %T Probabilistic Verification of Multiple-Valued Functions %V 99-23

@article{tr/trier/MI99-23, added-at = {2023-12-12T20:33:52.000+0100}, author = {Dubrova, Elena and Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2e0ddfb9664825945c967b0e84773e544/admin}, interhash = {310c32064dcfc132c019def46a35bfa9}, intrahash = {e0ddfb9664825945c967b0e84773e544}, journal = {Universität Trier, Mathematik/Informatik, Forschungsbericht}, keywords = {}, timestamp = {2023-12-12T20:33:52.000+0100}, title = {Probabilistic Verification of Multiple-Valued Functions}, volume = {99-23}, year = 1999 }