scientific article
From MaRDI portal
Publication:3117554
zbMath1234.68249MaRDI QIDQ3117554
Francesco Belardinelli, Alessio Lomuscio, Andrew V. Jones
Publication date: 28 February 2012
Full work available at URL: http://iospress.metapress.com/content/u4742337574782g8/fulltext.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationspecificationmulti-agent systemsepistemic alternating tree automatatemporal-epistemic logic CTLK
Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
