Bounded Determinization of Timed Automata with Silent Transitions

Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic, Bernhard Aichernig

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Originalspracheenglisch
Verlag.
PublikationsstatusVeröffentlicht - 2015

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren