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