Bounded Determinization of Timed Automata with Silent Transitions

Florian Lukas Lorber; Amnon Rosenmann; Dejan Nickovic; Bernhard Aichernig

doi:10.1007/978-3-319-22975-1_19

Bounded Determinization of Timed Automata with Silent Transitions

Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard Aichernig

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

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain
Place of Publication	Berlin [u.a.]
Publisher	Springer Verlag
Pages	288-304
Volume	9268
ISBN (Print)	978-3-319-22974-4
DOIs	https://doi.org/10.1007/978-3-319-22975-1_19 https://doi.org/10.1007/978-3-319-22975-1
Publication status	Published - 2015
Event	International Conference on Formal Modeling and Analysis of Timed Systems - Madrid, Spain Duration: 2 Sept 2015 → 4 Sept 2015

Publication series

Name	Lecture Notes in Computer Science
Volume	9268

Conference

Conference	International Conference on Formal Modeling and Analysis of Timed Systems
Country/Territory	Spain
City	Madrid
Period	2/09/15 → 4/09/15

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Theoretical
Application

Access to Document

Cite this

Lorber, F. L., Rosenmann, A., Nickovic, D., & Aichernig, B. (2015). Bounded Determinization of Timed Automata with Silent Transitions. In Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain (Vol. 9268, pp. 288-304). (Lecture Notes in Computer Science; Vol. 9268). Springer Verlag. https://doi.org/10.1007/978-3-319-22975-1_19, https://doi.org/10.1007/978-3-319-22975-1

Bounded Determinization of Timed Automata with Silent Transitions. / Lorber, Florian Lukas; Rosenmann, Amnon; Nickovic, Dejan et al.
Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Vol. 9268 Berlin [u.a.]: Springer Verlag, 2015. p. 288-304 (Lecture Notes in Computer Science; Vol. 9268).

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

Lorber, FL, Rosenmann, A, Nickovic, D & Aichernig, B 2015, Bounded Determinization of Timed Automata with Silent Transitions. in Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. vol. 9268, Lecture Notes in Computer Science, vol. 9268, Springer Verlag, Berlin [u.a.], pp. 288-304, International Conference on Formal Modeling and Analysis of Timed Systems, Madrid, Spain, 2/09/15. https://doi.org/10.1007/978-3-319-22975-1_19, https://doi.org/10.1007/978-3-319-22975-1

@inproceedings{dd02164f6c984251b80099b96b9dea67,

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

author = "Lorber, {Florian Lukas} and Amnon Rosenmann and Dejan Nickovic and Bernhard Aichernig",

year = "2015",

doi = "10.1007/978-3-319-22975-1_19",

language = "English",

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

volume = "9268",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "288--304",

booktitle = "Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain",

address = "Germany",

note = "International Conference on Formal Modeling and Analysis of Timed Systems ; Conference date: 02-09-2015 Through 04-09-2015",

}

TY - GEN

T1 - Bounded Determinization of Timed Automata with Silent Transitions

AU - Lorber, Florian Lukas

AU - Rosenmann, Amnon

AU - Nickovic, Dejan

AU - Aichernig, Bernhard

PY - 2015

Y1 - 2015

UR - http://dx.doi.org/10.1007/978-3-319-22975-1_19

U2 - 10.1007/978-3-319-22975-1_19

DO - 10.1007/978-3-319-22975-1_19

M3 - Conference paper

SN - 978-3-319-22974-4

VL - 9268

T3 - Lecture Notes in Computer Science

SP - 288

EP - 304

BT - Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain

PB - Springer Verlag

CY - Berlin [u.a.]

T2 - International Conference on Formal Modeling and Analysis of Timed Systems

Y2 - 2 September 2015 through 4 September 2015

ER -

Bounded Determinization of Timed Automata with Silent Transitions

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

CRYSTAL - Critical Systems Engineering Factories

Formal Methods

Cite this

Bounded Determinization of Timed Automata with Silent Transitions

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

CRYSTAL - Critical Systems Engineering Factories

Formal Methods

Cite this