@misc{indiciae494a8f6ea4fa,
  title = {Abstraction Refinement for Trace Inclusion of Infinite State Systems},
  author = {Radu Iosif and Adam Rogalewicz and Tomas Vojnar},
  year = {2015},
  url = {https://arxiv.org/abs/1410.5056},
  note = {Source identifier: 1410.5056}
}