scientific article; zbMATH DE number 7311252
From MaRDI portal
Publication:5151003
zbMath1456.68097MaRDI QIDQ5151003
Dimitar P. Guelev, Catalin Dima, Constantin Enea
Publication date: 16 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.12
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication:
