TY  - RPRT
TI  - Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
AU  - Marco Bernardo
AU  - Rocco De Nicola
AU  - Michele Loreti
PY  - 2014
DO  - 10.2168/lmcs-10(1:16)2014
UR  - https://arxiv.org/abs/1402.5365
ID  - 1402.5365
ER  -