Veri cation of message sequence charts via template matching (1997)

by V Levin, D Peled
Venue:In Proc. TAPSOFT