Bounded Determinization of Timed Automata with Silent Transitions

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems, 13th International Conference
Pages	288-304
Number of pages	17
Publication status	Published - 2015
Event	FORMATS 2015 - Duration: 2 Sept 2015 → 4 Sept 2015

Conference	FORMATS 2015
Period	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 -