Login / Signup

Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts.

Hanêne Ben-AbdallahStefan Leue
Published in: TACAS (1997)
Keyphrases