scientific article; zbMATH DE number 6767596
From MaRDI portal
Publication:5351958
DOI10.4230/LIPICS.CSL.2015.193zbMath1373.68289MaRDI QIDQ5351958
Adriano Peron, Angelo Montanari, Alberto Molinari
Publication date: 31 August 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (9)
Model checking interval temporal logics with regular expressions ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ Constraining cycle alternations in model checking for interval temporal logic ⋮ Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
This page was built for publication: