Joan Feigenbaum;Jeremy A. Kahn;Carsten Lund
-;-;-
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory