Bounded Determinization of Timed Automata with Silent Transitions

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Formal Modeling and Analysis of Timed Systems, 13th International Conference
Seiten	288-304
Seitenumfang	17
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	FORMATS 2015 - Dauer: 2 Sept. 2015 → 4 Sept. 2015

Konferenz	FORMATS 2015
Zeitraum	2/09/15 → 4/09/15

Research Field

@inproceedings{39cab41351fb458dbde8825c3115bdf9,

title = "Bounded Determinization of Timed Automata with Silent Transitions",

author = "Dejan Nickovic and Florian Lorber and Amnon Rosenmann and Aichernig, \{Bernhard K.\}",

year = "2015",

language = "English",

isbn = "978-3-319-22974-4",

pages = "288--304",

booktitle = "Formal Modeling and Analysis of Timed Systems, 13th International Conference",

note = "FORMATS 2015 ; Conference date: 02-09-2015 Through 04-09-2015",

}

TY - GEN

T1 - Bounded Determinization of Timed Automata with Silent Transitions

AU - Lorber, Florian

AU - Rosenmann, Amnon

AU - Aichernig, Bernhard K.

A2 - Nickovic, Dejan

PY - 2015

Y1 - 2015

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-22974-4

SP - 288

EP - 304

BT - Formal Modeling and Analysis of Timed Systems, 13th International Conference

T2 - FORMATS 2015

Y2 - 2 September 2015 through 4 September 2015

ER -