@misc{indiciaefba20d8a675b,
  title = {Comparing Asynchronous \$l\$-Complete Approximations and Quotient Based Abstractions},
  author = {Anne-Kathrin Schmuck and Paulo Tabuada and Jörg Raisch},
  year = {2015},
  url = {https://arxiv.org/abs/1503.07139},
  note = {Source identifier: 1503.07139}
}