@TECHREPORT{Fitzgerald&11b,
  KEY           = "Fitzgerald\&11",
  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Ken Pierce and
                   Marcel Verhoef",
  TITLE         = "{A Formal Approach to Collaborative Modelling and
                    Co-simulation for Embedded Systems}",
  INSTITUTION   = "Newcastle University",
  YEAR          = "2011",
  MONTH         = "July",
  NUMBER        = "CS-TR-1264",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}

%G VDM DESTECS ERROR VDMRT DESTECSPUB OVERTURE

{"_id":"dzuXqTxaY6LQd4XDo","bibbaseid":"fitzgerald-larsen-pierce-verhoef-aformalapproachtocollaborativemodellingandcosimulationforembeddedsystems-2011","downloads":0,"creationDate":"2018-02-26T01:45:59.546Z","title":"A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems","author_short":["Fitzgerald, J.","Larsen, P. G.","Pierce, K.","Verhoef, M."],"year":2011,"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"techreport","type":"techreport","key":"Fitzgerald&11b","author":[{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems","institution":"Newcastle University","year":"2011","month":"July","number":"CS-TR-1264","annote":"","comment":"BIB PGL","bibtex":"@TECHREPORT{Fitzgerald&11b,\n KEY = \"Fitzgerald\\&11\",\n AUTHOR = \"John Fitzgerald and Peter Gorm Larsen and Ken Pierce and\n Marcel Verhoef\",\n TITLE = \"{A Formal Approach to Collaborative Modelling and\n Co-simulation for Embedded Systems}\",\n INSTITUTION = \"Newcastle University\",\n YEAR = \"2011\",\n MONTH = \"July\",\n NUMBER = \"CS-TR-1264\",\n ANNOTE = \"\",\n COMMENT = \"BIB PGL\"}\n\n%G VDM DESTECS ERROR VDMRT DESTECSPUB OVERTURE\n","author_short":["Fitzgerald, J.","Larsen, P. G.","Pierce, K.","Verhoef, M."],"id":"Fitzgerald&11b","bibbaseid":"fitzgerald-larsen-pierce-verhoef-aformalapproachtocollaborativemodellingandcosimulationforembeddedsystems-2011","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["formal","approach","collaborative","modelling","simulation","embedded","systems","fitzgerald","larsen","pierce","verhoef"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}