@InProceedings{KN98b,
author={M. Kwiatkowska and G. Norman},
title={A Testing Equivalence for Reactive Probabilistic Processes },
booktitle={A Testing Equivalence for Reactive Probabilistic Processes },
year={1998},

editor={},
pages={},
organization={},
publisher={Elsevier Science},
series={Electronic Notes in Theoretical Computer Science},
volume={16(2)},
number={},
address={},
month={},
note={},
key={}
}