Compositional message sequence charts (2001)

Cached

Download Links

by Elsa L. Gunter , Anca Muscholl , Doron A. Peled
Venue:IN PROC. 7 TH INTL. CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS’01), VOLUME 2031 OF LECT. NOTES IN COMP. SCI
Citations:42 - 8 self