Bounded Determinization of Timed Automata with Silent Transitions

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelFormal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer Verlag
Seiten288-304
Band9268
ISBN (Print)978-3-319-22974-4
DOIs
PublikationsstatusVeröffentlicht - 2015
VeranstaltungInternational Conference on Formal Modeling and Analysis of Timed Systems - Madrid, Spanien
Dauer: 2 Sep 20154 Sep 2015

Publikationsreihe

NameLecture Notes in Computer Science
Band9268

Konferenz

KonferenzInternational Conference on Formal Modeling and Analysis of Timed Systems
LandSpanien
OrtMadrid
Zeitraum2/09/154/09/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Dies zitieren

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 (Band 9268, S. 288-304). (Lecture Notes in Computer Science; Band 9268). Berlin [u.a.]: 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; Aichernig, Bernhard.

Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Band 9268 Berlin [u.a.] : Springer Verlag, 2015. S. 288-304 (Lecture Notes in Computer Science; Band 9268).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. Bd. 9268, Lecture Notes in Computer Science, Bd. 9268, Springer Verlag, Berlin [u.a.], S. 288-304, Madrid, Spanien, 2/09/15. https://doi.org/10.1007/978-3-319-22975-1_19, https://doi.org/10.1007/978-3-319-22975-1
Lorber FL, Rosenmann A, Nickovic D, Aichernig B. Bounded Determinization of Timed Automata with Silent Transitions. in Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Band 9268. Berlin [u.a.]: Springer Verlag. 2015. S. 288-304. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-22975-1_19, https://doi.org/10.1007/978-3-319-22975-1
Lorber, Florian Lukas ; Rosenmann, Amnon ; Nickovic, Dejan ; Aichernig, Bernhard. / Bounded Determinization of Timed Automata with Silent Transitions. Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Band 9268 Berlin [u.a.] : Springer Verlag, 2015. S. 288-304 (Lecture Notes in Computer Science).
@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 = "http://dx.doi.org/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",

}

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 - http://dx.doi.org/10.1007/978-3-319-22975-1_19

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

M3 - Conference contribution

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.]

ER -