Trace Analysis Using an Event-Driven Interval Temporal Logic

TitleTrace Analysis Using an Event-Driven Interval Temporal Logic
Publication TypeConference Paper
Year of Publication2019
AuthorsGallardo M-del-M, Panizo L
Conference NameLogic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers
PublisherSpringer
URLhttps://doi.org/10.1007/978-3-030-45260-5_11
DOI10.1007/978-3-030-45260-5_11