@misc{indiciae93b52e7449d9,
  title = {Automata-based Debugging for Dissimilar Parallel Tasks},
  year = {2013},
  url = {https://www.osti.gov/biblio/1231745},
  note = {Source identifier: 1231745}
}