| emsoft | participants

Alexandru Mereacre

EMSOFT 2014: 14th International Conference on Embedded Software

Synthesising Optimal Timing Delays for Timed I/O Automata