On-the-Fly Determinization of Networks of Timed Automata

Bernhard K. Aichernig, Florian Lukas Lorber

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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
Pages14-21
Number of pages8
DOIs
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Cite this

Aichernig, B. K., & Lorber, F. L. (2016). On-the-Fly Determinization of Networks of Timed Automata. In Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China (pp. 14-21). IEEE Computer Society. https://doi.org/10.1109/TASE.2016.23

On-the-Fly Determinization of Networks of Timed Automata. / Aichernig, Bernhard K.; Lorber, Florian Lukas.

Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, 2016. p. 14-21.

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

Aichernig, BK & Lorber, FL 2016, On-the-Fly Determinization of Networks of Timed Automata. in Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, pp. 14-21. https://doi.org/10.1109/TASE.2016.23
Aichernig BK, Lorber FL. On-the-Fly Determinization of Networks of Timed Automata. In Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society. 2016. p. 14-21 https://doi.org/10.1109/TASE.2016.23
Aichernig, Bernhard K. ; Lorber, Florian Lukas. / On-the-Fly Determinization of Networks of Timed Automata. Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, 2016. pp. 14-21
@inproceedings{30f17aff47dd4e9f8b19fc61a802c4f4,
title = "On-the-Fly Determinization of Networks of Timed Automata",
author = "Aichernig, {Bernhard K.} and Lorber, {Florian Lukas}",
year = "2016",
doi = "10.1109/TASE.2016.23",
language = "English",
pages = "14--21",
booktitle = "Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

T1 - On-the-Fly Determinization of Networks of Timed Automata

AU - Aichernig, Bernhard K.

AU - Lorber, Florian Lukas

PY - 2016

Y1 - 2016

U2 - 10.1109/TASE.2016.23

DO - 10.1109/TASE.2016.23

M3 - Conference contribution

SP - 14

EP - 21

BT - Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China

PB - IEEE Computer Society

ER -