HOME
 
PREV
NEXT (Automatic Synthesis of Glue and Interface Automata)
Transactor and Glue Synthesis