%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 = {2016-05-25T00:00:00.000+0200}, author = {Dubrova, Elena and Sack, Harald}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23a9154ffef5aa271fe03027d856448cf/dblp}, booktitle = {ISMVL}, crossref = {conf/ismvl/2000}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2000.848659}, interhash = {d7dfed0511fc006023d57ed81c0fd239}, intrahash = {3a9154ffef5aa271fe03027d856448cf}, isbn = {0-7695-0692-5}, keywords = {dblp}, pages = {460-466}, publisher = {IEEE Computer Society}, timestamp = {2016-05-26T09:34:27.000+0200}, title = {Probabilistic Verification of Multiple-Valued Functions.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2000.html#DubrovaS00}, year = 2000 }