%0 Conference Paper %1 conf/ismvl/DubrovaS00 %A Dubrova, Elena %A Sack, Harald %B ISMVL %D 2000 %I IEEE Computer Society %K dblp %P 460-466 %T Probabilistic Verification of Multiple-Valued Functions. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2000.html#DubrovaS00 %@ 0-7695-0692-5

@inproceedings{conf/ismvl/DubrovaS00, added-at = {2023-03-23T00:00:00.000+0100}, author = {Dubrova, Elena and Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/23a9154ffef5aa271fe03027d856448cf/dblp}, booktitle = {ISMVL}, crossref = {conf/ismvl/2000}, ee = {https://www.wikidata.org/entity/Q112885442}, interhash = {d7dfed0511fc006023d57ed81c0fd239}, intrahash = {3a9154ffef5aa271fe03027d856448cf}, isbn = {0-7695-0692-5}, keywords = {dblp}, pages = {460-466}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:18:34.000+0200}, title = {Probabilistic Verification of Multiple-Valued Functions.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2000.html#DubrovaS00}, year = 2000 }