Probabilistic Verification of Multiple-Valued Functions
E. Dubrova, and H. Sack. 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL
2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings, page 460--466. IEEE Computer Society, (2000)
DOI: 10.1109/ISMVL.2000.848659