@inproceedings{conf/sbmf/MacarioO15,
  added-at = {2016-01-25T00:00:00.000+0100},
  author = {Macário, F. J. S. and Oliveira, M. V. M.},
  biburl = {http://www.bibsonomy.org/bibtex/263cdc3fb29d43f61ab7f4efdceefa6f6/dblp},
  booktitle = {SBMF},
  crossref = {conf/sbmf/2015},
  editor = {Cornélio, Márcio and Roscoe, Bill},
  ee = {http://dx.doi.org/10.1007/978-3-319-29473-5_1},
  interhash = {74606776184f29e52b4a879eb9b37c0a},
  intrahash = {63cdc3fb29d43f61ab7f4efdceefa6f6},
  isbn = {978-3-319-29472-8},
  keywords = {dblp},
  pages = {3-18},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2016-01-26T11:45:38.000+0100},
  title = {Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.},
  url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2015.html#MacarioO15},
  volume = 9526,
  year = 2015
}

{"_id":"QJwqeWYWeBkfo4JCa","bibbaseid":"macrio-oliveira-hardwiringcsphidingimplementingchannelabstractiontogenerateverifiedconcurrenthardware-2015","downloads":0,"creationDate":"2016-02-09T06:01:07.099Z","title":"Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.","author_short":["Macário, F. J. S.","Oliveira, M. V. M."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Krishnakumar, V?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-25T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Macário"],"firstnames":["F.","J.","S."],"suffixes":[]},{"propositions":[],"lastnames":["Oliveira"],"firstnames":["M.","V.","M."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/263cdc3fb29d43f61ab7f4efdceefa6f6/dblp","booktitle":"SBMF","crossref":"conf/sbmf/2015","editor":[{"propositions":[],"lastnames":["Cornélio"],"firstnames":["Márcio"],"suffixes":[]},{"propositions":[],"lastnames":["Roscoe"],"firstnames":["Bill"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-319-29473-5_1","interhash":"74606776184f29e52b4a879eb9b37c0a","intrahash":"63cdc3fb29d43f61ab7f4efdceefa6f6","isbn":"978-3-319-29472-8","keywords":"dblp","pages":"3-18","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2016-01-26T11:45:38.000+0100","title":"Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.","url":"http://dblp.uni-trier.de/db/conf/sbmf/sbmf2015.html#MacarioO15","volume":"9526","year":"2015","bibtex":"@inproceedings{conf/sbmf/MacarioO15,\n added-at = {2016-01-25T00:00:00.000+0100},\n author = {Macário, F. J. S. and Oliveira, M. V. M.},\n biburl = {http://www.bibsonomy.org/bibtex/263cdc3fb29d43f61ab7f4efdceefa6f6/dblp},\n booktitle = {SBMF},\n crossref = {conf/sbmf/2015},\n editor = {Cornélio, Márcio and Roscoe, Bill},\n ee = {http://dx.doi.org/10.1007/978-3-319-29473-5_1},\n interhash = {74606776184f29e52b4a879eb9b37c0a},\n intrahash = {63cdc3fb29d43f61ab7f4efdceefa6f6},\n isbn = {978-3-319-29472-8},\n keywords = {dblp},\n pages = {3-18},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2016-01-26T11:45:38.000+0100},\n title = {Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.},\n url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2015.html#MacarioO15},\n volume = 9526,\n year = 2015\n}\n\n","author_short":["Macário, F. J. S.","Oliveira, M. V. M."],"editor_short":["Cornélio, M.","Roscoe, B."],"key":"conf/sbmf/MacarioO15","id":"conf/sbmf/MacarioO15","bibbaseid":"macrio-oliveira-hardwiringcsphidingimplementingchannelabstractiontogenerateverifiedconcurrenthardware-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-29473-5_1","Paper":"http://dblp.uni-trier.de/db/conf/sbmf/sbmf2015.html#MacarioO15"},"keyword":["dblp"],"downloads":0},"search_terms":["hard","wiring","csp","hiding","implementing","channel","abstraction","generate","verified","concurrent","hardware","macário","oliveira"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcwuM7Zzcbynrts5v"]}