Login / Signup

Richer interface automata with optimistic and pessimistic compatibility.

Gerald LüttgenWalter VoglerSascha Fendrich
Published in: Acta Informatica (2015)
Keyphrases