Zeynep Dayar

Cleaveland, R., Dayar, Z., Smolka, S. A., & Yuen, S. (1999). Testing preorders for probabilistic processes. INFORMATION AND COMPUTATION, 154(2), 93–148. https://doi.org/10.1006/inco.1999.2808