scientific article; zbMATH DE number 6928586
From MaRDI portal
Publication:4583952
zbMath1394.68232MaRDI QIDQ4583952
Truls Pedersen, Piotr Kaźmierczak, Thomas Ågotnes
Publication date: 29 August 2018
Full work available at URL: http://ebooks.iospress.nl/volumearticle/6913
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (1)
Uses Software
This page was built for publication:
