On-the-Fly Determinization of Networks of Timed Automata

Bernhard K. Aichernig, Florian Lukas Lorber

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China
PublisherIEEE Computer Society
Pages14-21
Number of pages8
DOIs
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Cite this