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

Transactor and Glue Synthesis