scientific article; zbMATH DE number 7650331
From MaRDI portal
Publication:5875669
DOI10.4230/LIPIcs.FSTTCS.2019.34MaRDI QIDQ5875669
Adriano Peron, Laura Bozzelli, Angelo Montanari
Publication date: 3 February 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Related Items (2)
Decidability and complexity of action-based temporal planning over dense time ⋮ Complexity issues for timeline-based planning over dense time under future and minimal semantics
This page was built for publication:
