DMCA

Model checking of message sequence charts (1999)

Cached

Download Links

by Rajeev Alur , Mihalis Yannakakis
Citations:147 - 5 self