scientific article; zbMATH DE number 7744950
From MaRDI portal
Publication:6080270
DOI10.4230/lipics.time.2021.7MaRDI QIDQ6080270
Ionel Eduard Stan, Unnamed Author, Unnamed Author, Guido Sciavicco
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)
Related Items (1)
This page was built for publication:
