scientific article
From MaRDI portal
Publication:3384887
Florian Lorber, Tobias R. Gundersen, Ulrik Nyman, Christian Ovesen
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1809.03889
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)
Uses Software
Cites Work
This page was built for publication:
