Inference of Message Sequence Charts (2003)

Cached

Download Links

by Rajeev Alur , Kousha Etessami , Mihalis Yannakakis
Venue:Software Concepts and Tools
Citations:181 - 11 self