Revisiting Safe Realizability of Message Sequence Charts Specifications.

Abdolmajid Mousavi, Behrouz H. Far

Browse the full ICECCS paper archive.