Debugging and Verification of Multi-Agent Systems. Earle, C. B., Fredlund, L. \., Moreno-Díaz, R., Pichler, F., & Quesada-Arencibia, A. In Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, volume 5717, of Lecture Notes in Computer Science, pages 263--270, 2009.
Paper bibtex @inproceedings{ conf/eurocast/EarleF09,
author = {Clara Benac Earle and Lars \AAke Fredlund and Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada-Arencibia},
title = {Debugging and Verification of Multi-Agent Systems},
series = {Lecture Notes in Computer Science},
booktitle = {Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers},
isbn = {978-3-642-04771-8},
pages = {263--270},
volume = {5717},
url = {http://dx.doi.org/10.1007/978-3-642-04772-5} ,
year = {2009}
}
Downloads: 0
{"_id":{"_str":"53421826ecd21cdc07000295"},"__v":12,"authorIDs":["54578ea22abc8e9f370004fa","545dc63a6aaec20d23000621"],"author_short":["Earle, C. B.","Fredlund, L. \\.","Moreno-Díaz, R.","Pichler, F.","Quesada-Arencibia, A."],"bibbaseid":"earle-fredlund-morenodaz-pichler-quesadaarencibia-debuggingandverificationofmultiagentsystems-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Clara","Benac"],"propositions":[],"lastnames":["Earle"],"suffixes":[]},{"firstnames":["Lars","\\AAke"],"propositions":[],"lastnames":["Fredlund"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Moreno-Díaz"],"suffixes":[]},{"firstnames":["Franz"],"propositions":[],"lastnames":["Pichler"],"suffixes":[]},{"firstnames":["Alexis"],"propositions":[],"lastnames":["Quesada-Arencibia"],"suffixes":[]}],"title":"Debugging and Verification of Multi-Agent Systems","series":"Lecture Notes in Computer Science","booktitle":"Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers","isbn":"978-3-642-04771-8","pages":"263--270","volume":"5717","url":"http://dx.doi.org/10.1007/978-3-642-04772-5","year":"2009","bibtex":"@inproceedings{ conf/eurocast/EarleF09,\n author = {Clara Benac Earle and Lars \\AAke Fredlund and Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada-Arencibia},\n title = {Debugging and Verification of Multi-Agent Systems},\n series = {Lecture Notes in Computer Science},\n booktitle = {Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers},\n isbn = {978-3-642-04771-8},\n pages = {263--270},\n volume = {5717},\n url = {http://dx.doi.org/10.1007/978-3-642-04772-5} ,\n year = {2009}\n}\n\n\n","author_short":["Earle, C. B.","Fredlund, L. \\.","Moreno-Díaz, R.","Pichler, F.","Quesada-Arencibia, A."],"key":"conf/eurocast/EarleF09","id":"conf/eurocast/EarleF09","bibbaseid":"earle-fredlund-morenodaz-pichler-quesadaarencibia-debuggingandverificationofmultiagentsystems-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-04772-5"},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/clara-benac-earle/?format=bibtex","downloads":0,"keywords":[],"search_terms":["debugging","verification","multi","agent","systems","earle","fredlund","moreno-díaz","pichler","quesada-arencibia"],"title":"Debugging and Verification of Multi-Agent Systems","year":2009,"dataSources":["e4J49cp4yuwYS4Hz2"]}