Login / Signup

Compositional coordinator synthesis of extended finite automata.

Martijn A. GoordenMartin FabianJoanna M. van de Mortel-FronczakMichel A. ReniersWan J. FokkinkJacobus E. Rooda
Published in: Discret. Event Dyn. Syst. (2021)
Keyphrases