Temporal Debugging for Concurrent Systems.

Elsa L. Gunter, Doron A. Peled

Browse the full TACAS paper archive.