From PSL to NBA: a Modular Symbolic Encoding. Cimatti, A., Roveri, M., Semprini, S., & Tonetta, S. In FMCAD, pages 125-133, 2006. IEEE Computer Society.
From PSL to NBA: a Modular Symbolic Encoding. [link]Link  From PSL to NBA: a Modular Symbolic Encoding. [link]Paper  bibtex   
@inproceedings{conf/fmcad/CimattiRST06,
  added-at = {2016-02-17T00:00:00.000+0100},
  author = {Cimatti, Alessandro and Roveri, Marco and Semprini, Simone and Tonetta, Stefano},
  biburl = {http://www.bibsonomy.org/bibtex/2aa3845606fe85421caa9273231ccc21c/dblp},
  booktitle = {FMCAD},
  crossref = {conf/fmcad/2006},
  ee = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.19},
  interhash = {25d201e8b86eafc9bda1d8ff6ff7dbff},
  intrahash = {aa3845606fe85421caa9273231ccc21c},
  isbn = {0-7695-2707-8},
  keywords = {dblp},
  pages = {125-133},
  publisher = {IEEE Computer Society},
  timestamp = {2016-02-18T11:52:54.000+0100},
  title = {From PSL to NBA: a Modular Symbolic Encoding.},
  url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2006.html#CimattiRST06},
  year = 2006
}
Downloads: 0