scientific article
From MaRDI portal
Publication:3384883
Mariëlle I. A. Stoelinga, Petra van Den Bos
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.03098
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
This page was built for publication: