13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Florian Lukas Lorber (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Bounded Determinization of Timed Automata with Silent Transitions
Period2 Sep 2015 - 4 Sep 2015
Held at13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Event typeConference