Syntactic detection of process divergence and non-local choice in message sequence charts (1997)
by
Hanene Ben-Abdallah
,
Stefan Leue
| Venue: | Proc. Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems TACAS'97 |
| Citations: | 61 - 4 self |







