On the Distance between Timed Automata

Rosenmann, A. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Period28 Aug 2019
Event title17th International Conference on Formal Modeling and Analysis of Timed Systems: null
Event typeConference
LocationAmsterdam, Netherlands
Degree of RecognitionInternational