Formal Specification of Multi-agent Systems by Using EUSMs
From MaRDI portal
Publication:3508535
DOI10.1007/978-3-540-75698-9_21zbMath1141.68478MaRDI QIDQ3508535
Mercedes G. Merayo, Ismael Rodríguez, Manuel A. Nunez
Publication date: 1 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://eprints.ucm.es/15789/1/20.pdf
68M10: Network design and communication in computer systems
91B16: Utility theory
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software