Deciding properties of message sequence charts (1378)

by A Muscholl, D Peled, Z Su
Venue:In Proc. Of FoSSaCS’98. Portugal. LNCS