Bounded Determinization of Timed Automata with Silent Transitions

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

doi:http://dx.doi.org/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

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

Originalsprache	englisch
Titel	Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain
Erscheinungsort	Berlin [u.a.]
Herausgeber (Verlag)	Springer Verlag
Seiten	288-304
Band	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
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	International Conference on Formal Modeling and Analysis of Timed Systems - Madrid, Spanien Dauer: 2 Sept. 2015 → 4 Sept. 2015

Publikationsreihe

Name	Lecture Notes in Computer Science
Band	9268

Konferenz

Konferenz	International Conference on Formal Modeling and Analysis of Timed Systems
Land/Gebiet	Spanien
Ort	Madrid
Zeitraum	2/09/15 → 4/09/15

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Theoretical
Application

Zugriff auf Dokument

Andere Dateien und Links

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

1 Abgeschlossen
1 Laufend

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Projekt: Forschungsprojekt

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

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

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, International Conference on Formal Modeling and Analysis of Timed Systems, 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). doi: http://dx.doi.org/10.1007/978-3-319-22975-1_19, 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 = "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",

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

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Formale Methoden

CRYSTAL - Critical Systems Engineering Factories

Dieses zitieren