Model checking of message sequence charts (1999)

Cached

Download Links

by Rajeev Alur , Mihalis Yannakakis
Citations:124 - 6 self

Document Versions

Model checking of message sequence charts –Rajeev Alur, Mihalis Yannakakis — 1999
Model Checking of Message Sequence Charts –Rajeev Alur, Mihalis Yannakakis — 1999