@inproceedings{DBLP:conf/fdl/RegazzoniNL05,
  author    = {Francesco Regazzoni and
               Andr{\'{e}} C. N{\'{a}}cul and
               Marcello Lajolo},
  title     = {Automatic synthesis of the Hardware/Software Interface},
  booktitle = {Forum on specification and Design Languages, {FDL} 2005, September
               27-30, 2005, Lausanne, Switzerland, Proceedings},
  pages     = {401--405},
  publisher = {{ECSI}},
  year      = {2005},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=498},
  timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/fdl/RegazzoniNL05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"pe4w3w37tsowQAusi","bibbaseid":"regazzoni-ncul-lajolo-automaticsynthesisofthehardwaresoftwareinterface-2005","author_short":["Regazzoni, F.","Nácul, A. C.","Lajolo, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Regazzoni"],"suffixes":[]},{"firstnames":["André","C."],"propositions":[],"lastnames":["Nácul"],"suffixes":[]},{"firstnames":["Marcello"],"propositions":[],"lastnames":["Lajolo"],"suffixes":[]}],"title":"Automatic synthesis of the Hardware/Software Interface","booktitle":"Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings","pages":"401–405","publisher":"ECSI","year":"2005","url":"http://www.ecsi-association.org/ecsi/main.asp?l1=library\\&fn=def\\&id=498","timestamp":"Thu, 03 Dec 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/fdl/RegazzoniNL05.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fdl/RegazzoniNL05,\n author = {Francesco Regazzoni and\n Andr{\\'{e}} C. N{\\'{a}}cul and\n Marcello Lajolo},\n title = {Automatic synthesis of the Hardware/Software Interface},\n booktitle = {Forum on specification and Design Languages, {FDL} 2005, September\n 27-30, 2005, Lausanne, Switzerland, Proceedings},\n pages = {401--405},\n publisher = {{ECSI}},\n year = {2005},\n url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\\&fn=def\\&id=498},\n timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/fdl/RegazzoniNL05.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Regazzoni, F.","Nácul, A. C.","Lajolo, M."],"key":"DBLP:conf/fdl/RegazzoniNL05","id":"DBLP:conf/fdl/RegazzoniNL05","bibbaseid":"regazzoni-ncul-lajolo-automaticsynthesisofthehardwaresoftwareinterface-2005","role":"author","urls":{"Paper":"http://www.ecsi-association.org/ecsi/main.asp?l1=library\\&fn=def\\&id=498"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/QK7udauu9oYiG86Rs/bib.bib","dataSources":["H8x2obrhjRLyjakpF","ZuojF5jycEf8Xjgko","8gxn7AaKRh7GxNQNx","9LEB4ahCAz8Pkq58E","ZsvDCPRnhBRRCnWQ5"],"keywords":[],"search_terms":["automatic","synthesis","hardware","software","interface","regazzoni","nácul","lajolo"],"title":"Automatic synthesis of the Hardware/Software Interface","year":2005}