scientific article; zbMATH DE number 7362726

zbMath1467.68080arXiv1408.5960MaRDI QIDQ4995362

Angelo Montanari, Pietro Sala

Publication date: 24 June 2021

Full work available at URL: https://arxiv.org/abs/1408.5960

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Reactive synthesis from interval temporal logic specifications

This page was built for publication: