An Analyser for Mesage Sequence Charts.

Rajeev Alur, Gerard J. Holzmann, Doron A. Peled

Browse the full TACAS paper archive.