%0 Book Section %1 pecheur_06_formal %A Pecheur, Charles %A Simmons, Reid %A Engrand, Peter %D 2006 %J Agent Technology from a Formal Perspective %K _to_download_springer 2006 %P 311--339 %R 10.1007/1-84628-271-3_11 %T Formal Verification of Autonomy Models %U http://dx.doi.org/10.1007/1-84628-271-3_11

@incollection{pecheur_06_formal, added-at = {2009-02-11T20:58:28.000+0100}, author = {Pecheur, Charles and Simmons, Reid and Engrand, Peter}, biburl = {https://www.bibsonomy.org/bibtex/29878e47d0f59ccd373f5094929e5b5d0/leonardo}, citeulike-article-id = {2497932}, doi = {10.1007/1-84628-271-3_11}, interhash = {72eab2c8b48387650797c9ee7ffc2309}, intrahash = {9878e47d0f59ccd373f5094929e5b5d0}, journal = {Agent Technology from a Formal Perspective}, keywords = {_to_download_springer 2006}, pages = {311--339}, posted-at = {2008-03-10 00:18:09}, priority = {2}, timestamp = {2009-02-11T20:58:28.000+0100}, title = {Formal Verification of Autonomy Models}, url = {http://dx.doi.org/10.1007/1-84628-271-3_11}, year = 2006 }