scientific article; zbMATH DE number 7356852
From MaRDI portal
Publication:4992507
zbMath1464.68193arXiv1307.4469MaRDI QIDQ4992507
Matteo Rossi, Marcello M. Bersani, Pierluigi San Pietro
Publication date: 9 June 2021
Full work available at URL: https://arxiv.org/abs/1307.4469
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 (3)
An SMT-based approach to satisfiability checking of MITL ⋮ Constraint LTL satisfiability checking without automata ⋮ A tool for deciding the satisfiability of continuous-time metric temporal logic
This page was built for publication:
