@article {12816,
	title = {Fully abstract characterizations of testing preorders for probabilistic processes},
	journal = {CONCUR{\textquoteright}94: Concurrency Theory},
	year = {1994},
	month = {1994///},
	pages = {497 - 512},
	author = {Yuen,S. and Cleaveland, Rance and Dayar,Z. and Smolka,S.}
}
