Temporal Debugging for Concurrent Systems

Elsa L. Gunter,D. Peled
DOI: https://doi.org/10.1007/3-540-46002-0_30
2002-04-08
Abstract:
What problem does this paper attempt to address?