@inproceedings{ iglesias08Mochart,
  author    = {Jose Antonio Iglesias Clara Benac Earle and Agapito Ledezma},
  title     = {Verifying Robocup Teams},
  series   = {LNCS},
  booktitle   = {Model Checking and Artificial Intelligence},
  isbn   = {978-3-642-00430-8},
  location   = {Patras, Greece},
  pages   = {34-48},
  volume   = {5348} ,
  year   = {2009}
}

{"_id":{"_str":"5202db3ed40bcbb041000d74"},"__v":13,"authorIDs":["54576e722abc8e9f370003c4","5469957ebc7d6a460d00140f","546d6beeec3c47a518000a7a"],"author_short":["Earle, J. A. I. C. B.","Ledezma, A."],"bibbaseid":"earle-ledezma-verifyingrobocupteams-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jose","Antonio","Iglesias","Clara","Benac"],"propositions":[],"lastnames":["Earle"],"suffixes":[]},{"firstnames":["Agapito"],"propositions":[],"lastnames":["Ledezma"],"suffixes":[]}],"title":"Verifying Robocup Teams","series":"LNCS","booktitle":"Model Checking and Artificial Intelligence","isbn":"978-3-642-00430-8","location":"Patras, Greece","pages":"34-48","volume":"5348","year":"2009","bibtex":"@inproceedings{ iglesias08Mochart,\n author = {Jose Antonio Iglesias Clara Benac Earle and Agapito Ledezma},\n title = {Verifying Robocup Teams},\n series = {LNCS},\n booktitle = {Model Checking and Artificial Intelligence},\n isbn = {978-3-642-00430-8},\n location = {Patras, Greece},\n pages = {34-48},\n volume = {5348} ,\n year = {2009}\n}\n\n\n","author_short":["Earle, J. A. I. C. B.","Ledezma, A."],"key":"iglesias08Mochart","id":"iglesias08Mochart","bibbaseid":"earle-ledezma-verifyingrobocupteams-2009","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwcaosinfuc3mesbeatrizpublicacionescaostodocaosbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["verifying","robocup","teams","earle","ledezma"],"title":"Verifying Robocup Teams","title_words":["verifying","robocup","teams"],"year":2009,"dataSources":["x2exuuF248rDpbgGh"]}