Deciding Properties for Message Sequence Charts.

Anca Muscholl, Doron A. Peled, Zhendong Su

Browse the full FOSSACS paper archive.