Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma. Verifying Robocup Teams. In Doron Peled, Michael Wooldridge, editors, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Volume 5348 of Lecture Notes in Computer Science, pages 34-48, Springer, 2008. [doi]
@inproceedings{EarleFIL08,
title = {Verifying Robocup Teams},
author = {Clara Benac Earle and Lars-Åke Fredlund and José Antonio Iglesias and Agapito Ledezma},
year = {2008},
doi = {10.1007/978-3-642-00431-5_3},
url = {http://dx.doi.org/10.1007/978-3-642-00431-5_3},
researchr = {https://researchr.org/publication/EarleFIL08},
cites = {0},
citedby = {0},
pages = {34-48},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers},
editor = {Doron Peled and Michael Wooldridge},
volume = {5348},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00430-8},
}