Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang. Characterising Testing Preorders for Finite Probabilistic Processes. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. pages 313-325, IEEE Computer Society, 2007. [doi]
@inproceedings{DengGHMZ07,
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
author = {Yuxin Deng and Rob J. van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang},
year = {2007},
doi = {10.1109/LICS.2007.15},
url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2007.15},
tags = {testing},
researchr = {https://researchr.org/publication/DengGHMZ07},
cites = {0},
citedby = {0},
pages = {313-325},
booktitle = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings},
publisher = {IEEE Computer Society},
}