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

Document Versions

Inference of Message Sequence Charts –Rajeev Alur, Kousha Etessami, Mihalis Yannakakis — 2003 — Software Concepts and Tools
Inference of Message Sequence Charts –Rajeev Alur, Kousha Etessami, Mihalis Yannakakis — 2000 — Software Concepts and Tools
An Analyzer for Message Sequence Charts –Rajeev Alur, Gerard J. Holzmann, Doron Peled — 1996 — SOFTWARE CONCEPTS AND TOOLS