On the complexity of timed pattern matching

Eugene Asarin; Thomas Ferrère; Dejan Nickovic; Dogan Ulus

doi:10.1007/978-3-030-85037-1_2

On the complexity of timed pattern matching

Eugene Asarin, Thomas Ferrère, Dejan Nickovic (Vortragende:r), Dogan Ulus

Security & Communication Technologies

Boğaziçi University

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

Originalsprache	Englisch
Titel	Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
Herausgeber (Verlag)	Springer
Seiten	15-31
Seitenumfang	17
ISBN (Print)	978-3-030-85036-4
DOIs	https://doi.org/10.1007/978-3-030-85037-1_2
Publikationsstatus	Veröffentlicht - 2021
Veranstaltung	FORMATS'21 - Dauer: 24 Aug. 2021 → 26 Aug. 2021

Konferenz

Konferenz	FORMATS'21
Zeitraum	24/08/21 → 26/08/21

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1007/978-3-030-85037-1_2Lizenz: Nicht angegeben

Diese Publikation zitieren

@inproceedings{dd69ac767c01414fb236504ec5c7e6f7,

title = "On the complexity of timed pattern matching",

author = "Eugene Asarin and Thomas Ferr{\`e}re and Dejan Nickovic and Dogan Ulus",

year = "2021",

doi = "10.1007/978-3-030-85037-1_2",

language = "English",

isbn = "978-3-030-85036-4",

pages = "15--31",

booktitle = "Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings",

publisher = "Springer",

address = "Germany",

note = "FORMATS'21 ; Conference date: 24-08-2021 Through 26-08-2021",

}

On the complexity of timed pattern matching. / Asarin, Eugene; Ferrère, Thomas; Nickovic, Dejan (Vortragende:r) et al.
Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Springer, 2021. S. 15-31.

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

TY - GEN

T1 - On the complexity of timed pattern matching

AU - Asarin, Eugene

AU - Ferrère, Thomas

AU - Ulus, Dogan

A2 - Nickovic, Dejan

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-85037-1_2

DO - 10.1007/978-3-030-85037-1_2

M3 - Conference Proceedings with presentation

SN - 978-3-030-85036-4

SP - 15

EP - 31

BT - Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings

PB - Springer

T2 - FORMATS'21

Y2 - 24 August 2021 through 26 August 2021

ER -