Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang. Remarks on Testing Probabilistic Processes. Electronic Notes in Theoretical Computer Science, 172:359-397, 2007. [doi]
@article{DengGHMZ07:0,
title = {Remarks on Testing Probabilistic Processes},
author = {Yuxin Deng and Rob J. van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},
year = {2007},
doi = {10.1016/j.entcs.2007.02.013},
url = {http://dx.doi.org/10.1016/j.entcs.2007.02.013},
tags = {testing},
researchr = {https://researchr.org/publication/DengGHMZ07%3A0},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {172},
pages = {359-397},
}