Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis. Distinguishing tests for nondeterministic and probabilistic machines. In Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 29 May-1 June 1995, Las Vegas, Nevada, USA. pages 363-372, ACM, 1995. [doi]
@inproceedings{AlurCY95, title = {Distinguishing tests for nondeterministic and probabilistic machines}, author = {Rajeev Alur and Costas Courcoubetis and Mihalis Yannakakis}, year = {1995}, doi = {10.1145/225058.225161}, url = {http://doi.acm.org/10.1145/225058.225161}, tags = {testing}, researchr = {https://researchr.org/publication/AlurCY95}, cites = {0}, citedby = {0}, pages = {363-372}, booktitle = {Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 29 May-1 June 1995, Las Vegas, Nevada, USA}, publisher = {ACM}, }