Published
Modélisation et simulation
Analysis of timed automata with guards in dioids algebra
Published on - WODES 2016, 13th International Workshop on Discrete Event Systems
Modélisation et simulation
Published on - WODES 2016, 13th International Workshop on Discrete Event Systems