scientific article; zbMATH DE number 6931780
From MaRDI portal
Publication:4584892
zbMath1394.68233MaRDI QIDQ4584892
Julian Müller, Martin Mundhenk, Heribert Vollmer, Arne Meier
Publication date: 4 September 2018
Full work available at URL: http://eatcs.org/beatcs/index.php/beatcs/article/view/50
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication:
