@misc{indiciae6cd2dceb6227,
  title = {Compositional Specifications for ioco Testing},
  author = {Przemyslaw Daca and Thomas A. Henzinger and Willibald Krenn and Dejan Nickovic},
  year = {2019},
  url = {https://arxiv.org/abs/1904.07083},
  note = {Source identifier: 1904.07083}
}