%0 Conference Paper %1 conf/atal/El-MenshawyWBD10 %A El-Menshawy, Mohamed %A Wan, Wei %A Bentahar, Jamal %A Dssouli, Rachida %B AAMAS %D 2010 %E van der Hoek, Wiebe %E Kaminka, Gal A. %E Lespérance, Yves %E Luck, Michael %E Sen, Sandip %I IFAAMAS %K dblp %P 1555-1556 %T Symbolic model checking for agent interactions. %U http://dblp.uni-trier.de/db/conf/atal/aamas2010.html#El-MenshawyWBD10 %@ 978-0-9826571-1-9

@inproceedings{conf/atal/El-MenshawyWBD10, added-at = {2018-11-30T00:00:00.000+0100}, author = {El-Menshawy, Mohamed and Wan, Wei and Bentahar, Jamal and Dssouli, Rachida}, biburl = {https://www.bibsonomy.org/bibtex/2e312259abb8ba8158ed2d3226d2226fb/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2010}, editor = {van der Hoek, Wiebe and Kaminka, Gal A. and Lespérance, Yves and Luck, Michael and Sen, Sandip}, ee = {https://dl.acm.org/citation.cfm?id=1838478}, interhash = {c16947b7abbfabb2815999434441ae9a}, intrahash = {e312259abb8ba8158ed2d3226d2226fb}, isbn = {978-0-9826571-1-9}, keywords = {dblp}, pages = {1555-1556}, publisher = {IFAAMAS}, timestamp = {2018-12-01T13:21:15.000+0100}, title = {Symbolic model checking for agent interactions.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2010.html#El-MenshawyWBD10}, year = 2010 }