On-the-Fly Determinization of Networks of Timed Automata

Bernhard K. Aichernig, Florian Lukas Lorber

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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
Number of pages8
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Cite this