%0 Journal Article %1 journals/logcom/CranefieldW11 %A Cranefield, Stephen %A Winikoff, Michael %D 2011 %J J. Log. Comput. %K dblp %N 6 %P 1217-1256 %T Verifying social expectations by model checking truncated paths. %U http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#CranefieldW11 %V 21

@article{journals/logcom/CranefieldW11, added-at = {2011-12-12T00:00:00.000+0100}, author = {Cranefield, Stephen and Winikoff, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2d15d97999be9860dbbd3553e0e11d890/dblp}, ee = {http://dx.doi.org/10.1093/logcom/exq055}, interhash = {134416a15a50a0a77b42e686c61683ca}, intrahash = {d15d97999be9860dbbd3553e0e11d890}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {1217-1256}, timestamp = {2011-12-13T11:32:59.000+0100}, title = {Verifying social expectations by model checking truncated paths.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom21.html#CranefieldW11}, volume = 21, year = 2011 }