%0 Conference Paper %1 conf/atal/ShapiroLL02 %A Shapiro, Steven %A Lespérance, Yves %A Levesque, Hector J. %B AAMAS %D 2002 %I ACM %K dblp %P 19-26 %T The cognitive agents specification language and verification environment for multiagent systems. %U http://dblp.uni-trier.de/db/conf/atal/aamas2002.html#ShapiroLL02

@inproceedings{conf/atal/ShapiroLL02, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shapiro, Steven and Lespérance, Yves and Levesque, Hector J.}, biburl = {https://www.bibsonomy.org/bibtex/2fb9cfcee3eaa38cced94dd002ffce1b4/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2002}, ee = {https://doi.org/10.1145/544741.544746}, interhash = {4d4280ccdebb64b85f150dc6c78d5ef6}, intrahash = {fb9cfcee3eaa38cced94dd002ffce1b4}, keywords = {dblp}, pages = {19-26}, publisher = {ACM}, timestamp = {2018-11-07T15:40:22.000+0100}, title = {The cognitive agents specification language and verification environment for multiagent systems.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2002.html#ShapiroLL02}, year = 2002 }