Model Checking Live Sequence Charts.

Jun Sun, Jin Song Dong

Browse the full ICECCS paper archive.