TY  - RPRT
TI  - Comparing Asynchronous $l$-Complete Approximations and Quotient Based Abstractions
AU  - Anne-Kathrin Schmuck
AU  - Paulo Tabuada
AU  - Jörg Raisch
PY  - 2015
UR  - https://arxiv.org/abs/1503.07139
ID  - 1503.07139
ER  -