Message Automata for Messages with Variants, and Methods for Their Translation.

Christian Boitet

Browse the full CICLING paper archive.