scientific article; zbMATH DE number 7075942

zbMath1416.03013MaRDI QIDQ4967242

Bernd Finkbeiner

Publication date: 3 July 2019

Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/514/504

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Model checking algorithms for hyperproperties (invited paper)