%0 Conference Paper %1 conf/iat/BosseJMST06 %A Bosse, Tibor %A Jonker, Catholijn M. %A van der Meij, Lourens %A Sharpanskykh, Alexei %A Treur, Jan %B IAT %D 2006 %I IEEE Computer Society %K dblp %P 247-254 %T Specification and Verification of Dynamics in Cognitive Agent Models. %U http://dblp.uni-trier.de/db/conf/iat/iat2006.html#BosseJMST06 %@ 0-7695-2748-5

@inproceedings{conf/iat/BosseJMST06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bosse, Tibor and Jonker, Catholijn M. and van der Meij, Lourens and Sharpanskykh, Alexei and Treur, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2d7eefe6092c3983e0f84f7508787cebc/dblp}, booktitle = {IAT}, crossref = {conf/iat/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/IAT.2006.112}, interhash = {4293feb05b6303442c6cd1e80683c362}, intrahash = {d7eefe6092c3983e0f84f7508787cebc}, isbn = {0-7695-2748-5}, keywords = {dblp}, pages = {247-254}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:58:17.000+0200}, title = {Specification and Verification of Dynamics in Cognitive Agent Models.}, url = {http://dblp.uni-trier.de/db/conf/iat/iat2006.html#BosseJMST06}, year = 2006 }