Temporal Logics with Local Constraints (Invited Talk)

From MaRDI portal

Publication:5351946

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2015.2zbMath1373.03020OpenAlexW2293862394MaRDI QIDQ5351946

Claudia Carapelle, Markus Lohrey

Publication date: 31 August 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.2

zbMATH Keywords

LTL CTL*concrete domains ECTL*temporal logics with constraints

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (1)

This page was built for publication: Temporal Logics with Local Constraints (Invited Talk)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5351946&oldid=20056031"