On the complexity of timed pattern matching

Eugene Asarin, Thomas Ferrère, Dejan Nickovic (Speaker), Dogan Ulus

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review

Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
PublisherSpringer
Pages15-31
Number of pages17
ISBN (Print)978-3-030-85036-4
DOIs
Publication statusPublished - 2021
EventFORMATS'21 -
Duration: 24 Aug 202126 Aug 2021

Conference

ConferenceFORMATS'21
Period24/08/2126/08/21

Research Field

  • Dependable Systems Engineering

Cite this