An Automata Based Interpretation of Live Sequence Charts.

Jochen Klose, Hartmut Wittke

Browse the full TACAS paper archive.