@inproceedings{conf/cav/MazoDT10,
  added-at = {2018-10-03T00:00:00.000+0200},
  author = {Jr., Manuel Mazo and Davitian, Anna and Tabuada, Paulo},
  biburl = {https://www.bibsonomy.org/bibtex/2e7704bbd4f96d656f2d14d94ae13c60d/dblp},
  booktitle = {CAV},
  crossref = {conf/cav/2010},
  editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.},
  ee = {https://doi.org/10.1007/978-3-642-14295-6_49},
  interhash = {2b9a615a94e47324958ec3f0a504f698},
  intrahash = {e7704bbd4f96d656f2d14d94ae13c60d},
  isbn = {978-3-642-14294-9},
  keywords = {dblp},
  pages = {566-569},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:39:28.000+0200},
  title = {PESSOA: A Tool for Embedded Controller Synthesis.},
  url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#MazoDT10},
  volume = 6174,
  year = 2010
}

{"_id":"QtF9xdDa8nHFt83cZ","bibbaseid":"jr-davitian-tabuada-pessoaatoolforembeddedcontrollersynthesis-2010","downloads":0,"creationDate":"2016-09-15T11:50:12.060Z","title":"PESSOA: A Tool for Embedded Controller Synthesis.","author_short":["Jr., M. M.","Davitian, A.","Tabuada, P."],"year":2010,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Manuel Mazo Jr?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-10-03T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Jr."],"firstnames":["Manuel","Mazo"],"suffixes":[]},{"propositions":[],"lastnames":["Davitian"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Tabuada"],"firstnames":["Paulo"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2e7704bbd4f96d656f2d14d94ae13c60d/dblp","booktitle":"CAV","crossref":"conf/cav/2010","editor":[{"propositions":[],"lastnames":["Touili"],"firstnames":["Tayssir"],"suffixes":[]},{"propositions":[],"lastnames":["Cook"],"firstnames":["Byron"],"suffixes":[]},{"propositions":[],"lastnames":["Jackson"],"firstnames":["Paul","B."],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-14295-6_49","interhash":"2b9a615a94e47324958ec3f0a504f698","intrahash":"e7704bbd4f96d656f2d14d94ae13c60d","isbn":"978-3-642-14294-9","keywords":"dblp","pages":"566-569","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:39:28.000+0200","title":"PESSOA: A Tool for Embedded Controller Synthesis.","url":"http://dblp.uni-trier.de/db/conf/cav/cav2010.html#MazoDT10","volume":"6174","year":"2010","bibtex":"@inproceedings{conf/cav/MazoDT10,\n added-at = {2018-10-03T00:00:00.000+0200},\n author = {Jr., Manuel Mazo and Davitian, Anna and Tabuada, Paulo},\n biburl = {https://www.bibsonomy.org/bibtex/2e7704bbd4f96d656f2d14d94ae13c60d/dblp},\n booktitle = {CAV},\n crossref = {conf/cav/2010},\n editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.},\n ee = {https://doi.org/10.1007/978-3-642-14295-6_49},\n interhash = {2b9a615a94e47324958ec3f0a504f698},\n intrahash = {e7704bbd4f96d656f2d14d94ae13c60d},\n isbn = {978-3-642-14294-9},\n keywords = {dblp},\n pages = {566-569},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:39:28.000+0200},\n title = {PESSOA: A Tool for Embedded Controller Synthesis.},\n url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#MazoDT10},\n volume = 6174,\n year = 2010\n}\n\n","author_short":["Jr., M. M.","Davitian, A.","Tabuada, P."],"editor_short":["Touili, T.","Cook, B.","Jackson, P. B."],"key":"conf/cav/MazoDT10","id":"conf/cav/MazoDT10","bibbaseid":"jr-davitian-tabuada-pessoaatoolforembeddedcontrollersynthesis-2010","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-14295-6_49","Paper":"http://dblp.uni-trier.de/db/conf/cav/cav2010.html#MazoDT10"},"keyword":["dblp"],"downloads":0,"html":""},"search_terms":["pessoa","tool","embedded","controller","synthesis","jr.","davitian","tabuada"],"keywords":["dblp"],"authorIDs":[],"dataSources":["k2BjXKdcbokmpQp9b"]}