| Original language | English |
|---|---|
| Publisher | . |
| Publication status | Published - 2015 |
Fields of Expertise
- Information, Communication & Computing
Bounded Determinization of Timed Automata with Silent Transitions
Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic, Bernhard Aichernig
Research output: Book/Report › Other report