@misc{indiciaefd8613994b2a,
  title = {Automata-based Debugging for Dissimilar Parallel Tasks},
  year = {2013},
  doi = {10.11578/dc.20171025.1462},
  url = {https://www.osti.gov/biblio/code-2654},
  note = {Source identifier: code-2654}
}