Login / Signup

A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.

Aleksandar KirilovDarko MartinovikjKristijan MishevskiMarija PetkovskaZlatka TrajcheskaJasen Markovski
Published in: SEFM Workshops (2013)
Keyphrases