Model checking of message sequence charts (1999)

View PDF

Download Links

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