@INPROCEEDINGS{Esparza&12,
  KEY          = "Esparza\&12",
  AUTHOR       = "Jos\'e Antonio Esparza Isasa and Peter Gorm Larsen and Kim Bjerge",
  TITLE        = "{Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT}",
  BOOKTITLE    = "Proceedings of the 10th Overture Workshop 2012",
  SERIES       = "School of Computing Science, Newcastle University",
  YEAR         = "2012",
  COMMENT      = "BIB JAE"}

%G VDM OVERTURE

{"_id":"sf3KdTAwrC4R3JMdm","authorIDs":[],"author_short":["Isasa, J. A. E.","Larsen, P. G.","Bjerge, K."],"bibbaseid":"isasa-larsen-bjerge-supportingthepartitioningprocessinhardwaresoftwarecodesignwithvdmrt-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Esparza&12","author":[{"firstnames":["José","Antonio","Esparza"],"propositions":[],"lastnames":["Isasa"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Kim"],"propositions":[],"lastnames":["Bjerge"],"suffixes":[]}],"title":"Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT","booktitle":"Proceedings of the 10th Overture Workshop 2012","series":"School of Computing Science, Newcastle University","year":"2012","comment":"BIB JAE","bibtex":"@INPROCEEDINGS{Esparza&12,\n KEY = \"Esparza\\&12\",\n AUTHOR = \"Jos\\'e Antonio Esparza Isasa and Peter Gorm Larsen and Kim Bjerge\",\n TITLE = \"{Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT}\",\n BOOKTITLE = \"Proceedings of the 10th Overture Workshop 2012\",\n SERIES = \"School of Computing Science, Newcastle University\",\n YEAR = \"2012\",\n COMMENT = \"BIB JAE\"}\n\n%G VDM OVERTURE\n","author_short":["Isasa, J. A. E.","Larsen, P. G.","Bjerge, K."],"id":"Esparza&12","bibbaseid":"isasa-larsen-bjerge-supportingthepartitioningprocessinhardwaresoftwarecodesignwithvdmrt-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.328Z","downloads":0,"keywords":[],"search_terms":["supporting","partitioning","process","hardware","software","design","vdm","isasa","larsen","bjerge"],"title":"Supporting the Partitioning Process in Hardware/Software Co-design with VDM-RT","year":2012,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}