%0 Conference Paper %1 conf/atal/OsmanRW06 %A Osman, Nardine %A Robertson, David %A Walton, Christopher %B AAMAS %D 2006 %E Nakashima, Hideyuki %E Wellman, Michael P. %E Weiss, Gerhard %E Stone, Peter %I ACM %K dblp %P 238-240 %T Run-time model checking of interaction and deontic models for multi-agent systems. %U http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#OsmanRW06 %@ 1-59593-303-4

@inproceedings{conf/atal/OsmanRW06, added-at = {2022-09-13T00:00:00.000+0200}, author = {Osman, Nardine and Robertson, David and Walton, Christopher}, biburl = {https://www.bibsonomy.org/bibtex/2fdd0b821afec87ac4ce4c886ffef2dc0/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2006}, editor = {Nakashima, Hideyuki and Wellman, Michael P. and Weiss, Gerhard and Stone, Peter}, ee = {https://doi.org/10.1145/1160633.1160674}, interhash = {16b19d9be2ecd2fd354ce7b13faf4e53}, intrahash = {fdd0b821afec87ac4ce4c886ffef2dc0}, isbn = {1-59593-303-4}, keywords = {dblp}, pages = {238-240}, publisher = {ACM}, timestamp = {2024-04-10T02:26:58.000+0200}, title = {Run-time model checking of interaction and deontic models for multi-agent systems.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2006.html#OsmanRW06}, year = 2006 }