scientific article; zbMATH DE number 7317260

zbMath1457.68163arXiv1106.1240MaRDI QIDQ4964727

Rüdiger Ehlers, Bernd Finkbeiner

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1106.1240

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Compositional construction of most general controllers