A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck

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

Originalspracheenglisch
TitelComputer Aided Verification
Untertitel30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Seiten547-564
Seitenumfang18
Band1
ISBN (elektronisch)978-3-319-96145-3
DOIs
PublikationsstatusVeröffentlicht - 2018
Veranstaltung30th International Conference on Computer Aided Verification - Oxford, Großbritannien / Vereinigtes Königreich
Dauer: 14 Jul 201817 Jul 2018

Publikationsreihe

NameLecture Notes in Computer Science
Band10980

Konferenz

Konferenz30th International Conference on Computer Aided Verification
KurztitelCAV 2018
LandGroßbritannien / Vereinigtes Königreich
OrtOxford
Zeitraum14/07/1817/07/18

Dieses zitieren