Publication:2852084

zbMath1273.68374MaRDI QIDQ2852084

Alberto Martelli, Camilla B. Schwind, Laura Giordano

Publication date: 7 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003185

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

68T42: Agent technology and artificial intelligence

Related Items

Specifying and verifying interaction protocols in a temporal action logic