PESSOA: A Tool for Embedded Controller Synthesis. Jr., M. M., Davitian, A., & Tabuada, P. In Touili, T., Cook, B., & Jackson, P. B., editors, CAV, volume 6174, of Lecture Notes in Computer Science, pages 566-569, 2010. Springer.
PESSOA: A Tool for Embedded Controller Synthesis. [link]Link  PESSOA: A Tool for Embedded Controller Synthesis. [link]Paper  bibtex   
@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
}

Downloads: 0