Safe Implementability of Regular Message Sequence Charts Specifications (2003)

by Nicolas Baudru , Rémi Morin
Venue:PROC. OF THE ACIS 4TH INT. CONF. SNDP
Citations:8 - 2 self