TY  - RPRT
TI  - Faster Algorithms for Alternating Refinement Relations
AU  - Krishnendu Chatterjee
AU  - Siddhesh Chaubal
AU  - Pritish Kamath
PY  - 2012
UR  - https://arxiv.org/abs/1201.4449
ID  - 1201.4449
ER  -