MSCan - A Tool for Analyzing MSC Specifications.

Benedikt Bollig, Carsten Kern, Markus Schltter, Volker Stolz

Browse the full TACAS paper archive.