Publication:4584892
From MaRDI portal
zbMath1394.68233MaRDI QIDQ4584892
Heribert Vollmer, Arne Meier, Martin Mundhenk, Julian Müller
Publication date: 4 September 2018
Full work available at URL: http://eatcs.org/beatcs/index.php/beatcs/article/view/50
68Q25: Analysis of algorithms and problem complexity
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic