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

  • Florian Lukas Lorber (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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