TY  - RPRT
TI  - Automata-based Debugging for Dissimilar Parallel Tasks
PY  - 2013
DO  - 10.11578/dc.20171025.1462
UR  - https://www.osti.gov/biblio/code-2654
ID  - code-2654
ER  -