Skip to content

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.

Blaise Genest

VenueATACAS
Year2005
ProceedingsTACAS

Browse the full TACAS paper archive.