Clara Benac Earle, Lars-Ã…ke Fredlund. Debugging and Verification of Multi-Agent Systems. In Roberto Moreno-DÃaz, Franz Pichler, Alexis Quesada-Arencibia, editors, 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, Springer, 2009. [doi]
@inproceedings{EarleF09-0, title = {Debugging and Verification of Multi-Agent Systems}, author = {Clara Benac Earle and Lars-Ã…ke Fredlund}, year = {2009}, doi = {10.1007/978-3-642-04772-5_35}, url = {http://dx.doi.org/10.1007/978-3-642-04772-5_35}, tags = {debugging}, researchr = {https://researchr.org/publication/EarleF09-0}, cites = {0}, citedby = {0}, pages = {263-270}, booktitle = {Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers}, editor = {Roberto Moreno-DÃaz and Franz Pichler and Alexis Quesada-Arencibia}, volume = {5717}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-04771-8}, }