TY  - RPRT
TI  - Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior
AU  - Alessandro Aldini
PY  - 2010
DO  - 10.4204/eptcs.28.1
UR  - https://arxiv.org/abs/1006.5094
ID  - 1006.5094
ER  -