TRIM: A Tool for Triggered Message Sequence Charts.

Bikram Sengupta, Rance Cleaveland

Browse the full CAV paper archive.