Checking Consistency of Event-Driven Traces.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam

Browse the full APLAS paper archive.