%0 Conference Paper %1 conf/atal/CranefieldW08 %A Cranefield, Stephen %A Winikoff, Michael %B COIN@AAMAS&AAAI %D 2008 %E Hübner, Jomi Fred %E Matson, Eric T. %E Boissier, Olivier %E Dignum, Virginia %I Springer %K dblp %P 204-219 %T Verifying Social Expectations by Model Checking Truncated Paths. %U http://dblp.uni-trier.de/db/conf/atal/coin2008.html#CranefieldW08 %V 5428 %@ 978-3-642-00442-1

@inproceedings{conf/atal/CranefieldW08, added-at = {2017-06-15T00:00:00.000+0200}, author = {Cranefield, Stephen and Winikoff, Michael}, biburl = {https://www.bibsonomy.org/bibtex/222780c28645a30687900efda9471a7fc/dblp}, booktitle = {COIN@AAMAS&AAAI}, crossref = {conf/atal/2008coin}, editor = {Hübner, Jomi Fred and Matson, Eric T. and Boissier, Olivier and Dignum, Virginia}, ee = {https://doi.org/10.1007/978-3-642-00443-8_14}, interhash = {690aa4fe6a376779931d4a365a72a83d}, intrahash = {22780c28645a30687900efda9471a7fc}, isbn = {978-3-642-00442-1}, keywords = {dblp}, pages = {204-219}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-29T11:47:21.000+0100}, title = {Verifying Social Expectations by Model Checking Truncated Paths.}, url = {http://dblp.uni-trier.de/db/conf/atal/coin2008.html#CranefieldW08}, volume = 5428, year = 2008 }