scientific article; zbMATH DE number 7744945
From MaRDI portal
Publication:6080261
DOI10.4230/LIPICS.TIME.2021.2MaRDI QIDQ6080261
Publication date: 2 October 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
This page was built for publication: