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

  • Florian Lukas Lorber (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Bounded Determinization of Timed Automata with Silent Transitions
Zeitraum2 Sept. 2015 → 4 Sept. 2015
Ereignistitel13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
VeranstaltungstypKonferenz