@inproceedings{DBLP:conf/sbcci/MarconCM02,
  author       = {C{\'{e}}sar Augusto Missio Marcon and
                  Ney Laert Vilar Calazans and
                  Fernando Gehm Moraes},
  title        = {Requirements, Primitives and Models for Systems Specification},
  booktitle    = {Proceedings of the 15th Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2002, Porto Alegre, Brazil, September 9-14,
                  2002},
  pages        = {323--330},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://dl.acm.org/doi/10.5555/827246.827355},
  doi          = {10.5555/827246.827355},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcci/MarconCM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"iRuDCzBRKBmtbxcFF","bibbaseid":"marcon-calazans-moraes-requirementsprimitivesandmodelsforsystemsspecification-2002","author_short":["Marcon, C. A. M.","Calazans, N. L. V.","Moraes, F. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["César","Augusto","Missio"],"propositions":[],"lastnames":["Marcon"],"suffixes":[]},{"firstnames":["Ney","Laert","Vilar"],"propositions":[],"lastnames":["Calazans"],"suffixes":[]},{"firstnames":["Fernando","Gehm"],"propositions":[],"lastnames":["Moraes"],"suffixes":[]}],"title":"Requirements, Primitives and Models for Systems Specification","booktitle":"Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2002, Porto Alegre, Brazil, September 9-14, 2002","pages":"323–330","publisher":"IEEE Computer Society","year":"2002","url":"https://dl.acm.org/doi/10.5555/827246.827355","doi":"10.5555/827246.827355","timestamp":"Fri, 10 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sbcci/MarconCM02.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sbcci/MarconCM02,\n author = {C{\\'{e}}sar Augusto Missio Marcon and\n Ney Laert Vilar Calazans and\n Fernando Gehm Moraes},\n title = {Requirements, Primitives and Models for Systems Specification},\n booktitle = {Proceedings of the 15th Annual Symposium on Integrated Circuits and\n Systems Design, {SBCCI} 2002, Porto Alegre, Brazil, September 9-14,\n 2002},\n pages = {323--330},\n publisher = {{IEEE} Computer Society},\n year = {2002},\n url = {https://dl.acm.org/doi/10.5555/827246.827355},\n doi = {10.5555/827246.827355},\n timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sbcci/MarconCM02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Marcon, C. A. M.","Calazans, N. L. V.","Moraes, F. G."],"key":"DBLP:conf/sbcci/MarconCM02","id":"DBLP:conf/sbcci/MarconCM02","bibbaseid":"marcon-calazans-moraes-requirementsprimitivesandmodelsforsystemsspecification-2002","role":"author","urls":{"Paper":"https://dl.acm.org/doi/10.5555/827246.827355"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/FernandoGehmMoraes.bib","dataSources":["pEib8arMvtjpTWFyZ"],"keywords":[],"search_terms":["requirements","primitives","models","systems","specification","marcon","calazans","moraes"],"title":"Requirements, Primitives and Models for Systems Specification","year":2002}