TY  - RPRT
TI  - Bisimulations for Nondeterministic Labeled Markov Processes
AU  - Pedro D'Argenio
AU  - Pedro Sánchez Terraf
AU  - Nicolás Wolovick
PY  - 2010
UR  - https://arxiv.org/abs/1011.3362
ID  - 1011.3362
ER  -