On-the-Fly Determinization of Networks of Timed Automata

Bernhard K. Aichernig; Florian Lukas Lorber

doi:10.1109/TASE.2016.23

On-the-Fly Determinization of Networks of Timed Automata

Bernhard K. Aichernig, Florian Lukas Lorber

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China
Publisher	IEEE Computer Society
Pages	14-21
Number of pages	8
DOIs	https://doi.org/10.1109/TASE.2016.23
Publication status	Published - 2016

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1109/TASE.2016.23

CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))
1/05/13 → 30/04/16
Project: Research project

Cite this

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 proceeding › Conference paper › peer-review

@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 paper

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 -

On-the-Fly Determinization of Networks of Timed Automata

Fields of Expertise

Access to Document

Projects

CRYSTAL - Critical Systems Engineering Factories

Cite this