Deciding properties of message sequence charts (1998)

by A Muscholl, D Peled, Z Su
Venue:In Proc. of FoSSaCS'98, LNCS 1378