Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/atal/CranefieldW08
AU - Cranefield, Stephen
AU - Winikoff, Michael
TI - Verifying Social Expectations by Model Checking Truncated Paths.
BT - Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers
SP - 204
EP - 219
PY - 2008//
DO - 10.1007/978-3-642-00443-8_14
UR - https://doi.org/10.1007/978-3-642-00443-8_14
ER -
