TY  - RPRT
TI  - Distributed Analysis for Diagnosability in Concurrent Systems
AU  - Hernán Ponce de León
AU  - Gonzalo Bonigo
AU  - Laura Brandán Briones
PY  - 2015
UR  - https://arxiv.org/abs/1502.07466
ID  - 1502.07466
ER  -