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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China
Herausgeber (Verlag)	IEEE Computer Society
Seiten	14-21
Seitenumfang	8
DOIs	https://doi.org/10.1109/TASE.2016.23
Publikationsstatus	Veröffentlicht - 2016

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

10.1109/TASE.2016.23

1 Abgeschlossen

CRYSTAL - Critical Systems Engineering Factories
Aichernig, B. (Projektleiter) & Lorber, F. L. (Teilnehmer / Mitarbeiter)
1/05/13 → 30/04/16
Projekt: Forschungsprojekt

Dieses zitieren

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. S. 14-21.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

@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

Zugriff auf Dokument

Projekte

CRYSTAL - Critical Systems Engineering Factories

Dieses zitieren