@inproceedings{DBLP:conf/fmcad/CimattiRST06,
  author    = {Alessandro Cimatti and
               Marco Roveri and
               Simone Semprini and
               Stefano Tonetta},
  title     = {From {PSL} to {NBA:} a Modular Symbolic Encoding},
  booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
               {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
  pages     = {125--133},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://doi.org/10.1109/FMCAD.2006.19},
  doi       = {10.1109/FMCAD.2006.19},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/CimattiRST06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6JnRZuWKQBb6CkNS7","bibbaseid":"cimatti-roveri-semprini-tonetta-frompsltonbaamodularsymbolicencoding-2006","downloads":0,"creationDate":"2016-02-23T10:55:46.237Z","title":"From PSL to NBA: a Modular Symbolic Encoding","author_short":["Cimatti, A.","Roveri, M.","Semprini, S.","Tonetta, S."],"year":2006,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/83/563.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Simone"],"propositions":[],"lastnames":["Semprini"],"suffixes":[]},{"firstnames":["Stefano"],"propositions":[],"lastnames":["Tonetta"],"suffixes":[]}],"title":"From PSL to NBA: a Modular Symbolic Encoding","booktitle":"Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings","pages":"125–133","publisher":"IEEE Computer Society","year":"2006","url":"https://doi.org/10.1109/FMCAD.2006.19","doi":"10.1109/FMCAD.2006.19","timestamp":"Wed, 16 Oct 2019 14:14:56 +0200","biburl":"https://dblp.org/rec/conf/fmcad/CimattiRST06.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmcad/CimattiRST06,\n author = {Alessandro Cimatti and\n Marco Roveri and\n Simone Semprini and\n Stefano Tonetta},\n title = {From {PSL} to {NBA:} a Modular Symbolic Encoding},\n booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,\n {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},\n pages = {125--133},\n publisher = {{IEEE} Computer Society},\n year = {2006},\n url = {https://doi.org/10.1109/FMCAD.2006.19},\n doi = {10.1109/FMCAD.2006.19},\n timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},\n biburl = {https://dblp.org/rec/conf/fmcad/CimattiRST06.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cimatti, A.","Roveri, M.","Semprini, S.","Tonetta, S."],"key":"DBLP:conf/fmcad/CimattiRST06","id":"DBLP:conf/fmcad/CimattiRST06","bibbaseid":"cimatti-roveri-semprini-tonetta-frompsltonbaamodularsymbolicencoding-2006","role":"author","urls":{"Paper":"https://doi.org/10.1109/FMCAD.2006.19"},"metadata":{"authorlinks":{}}},"search_terms":["psl","nba","modular","symbolic","encoding","cimatti","roveri","semprini","tonetta"],"keywords":[],"authorIDs":[],"dataSources":["qcMBJkGk4FzM4bdJY","SzPGZamk2BCyHJTQr"]}