Inference of Message Sequence Charts (2003)

by Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
Venue:Software Concepts and Tools