Temporal debugging for concurrent systems (2002)

by E L Gunter, D Peled
Venue:In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS