Login / Signup

AutomaDeD: Automata-based debugging for dissimilar parallel tasks.

Greg BronevetskyIgnacio LagunaSaurabh BagchiBronis R. de SupinskiDong H. AhnMartin Schulz
Published in: DSN (2010)
Keyphrases