@TECHREPORT{Larsen&10e,
  KEY           = "Larsen\&10",
  AUTHOR        = "Peter Gorm Larsen and Sune Wolff and Nick Battle and John Fitzgerald and Ken Pierce",
  TITLE         = "Development Process of Distributed Embedded Systems using VDM",
  INSTITUTION   = "The Overture Open Source Initiative",
  YEAR          = "2010",
  MONTH         = "April",
  NUMBER        = "TR-2010-02",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE

{"_id":"MLZndmyKEDv7nCTZ2","bibbaseid":"larsen-wolff-battle-fitzgerald-pierce-developmentprocessofdistributedembeddedsystemsusingvdm-2010","downloads":0,"creationDate":"2015-06-29T10:05:17.443Z","title":"Development Process of Distributed Embedded Systems using VDM","author_short":["Larsen, P. G.","Wolff, S.","Battle, N.","Fitzgerald, J.","Pierce, K."],"year":2010,"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"techreport","type":"techreport","key":"Larsen&10e","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Ken"],"propositions":[],"lastnames":["Pierce"],"suffixes":[]}],"title":"Development Process of Distributed Embedded Systems using VDM","institution":"The Overture Open Source Initiative","year":"2010","month":"April","number":"TR-2010-02","annote":"","comment":"","bibtex":"@TECHREPORT{Larsen&10e,\n KEY = \"Larsen\\&10\",\n AUTHOR = \"Peter Gorm Larsen and Sune Wolff and Nick Battle and John Fitzgerald and Ken Pierce\",\n TITLE = \"Development Process of Distributed Embedded Systems using VDM\",\n INSTITUTION = \"The Overture Open Source Initiative\",\n YEAR = \"2010\",\n MONTH = \"April\",\n NUMBER = \"TR-2010-02\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE\n","author_short":["Larsen, P. G.","Wolff, S.","Battle, N.","Fitzgerald, J.","Pierce, K."],"id":"Larsen&10e","bibbaseid":"larsen-wolff-battle-fitzgerald-pierce-developmentprocessofdistributedembeddedsystemsusingvdm-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["development","process","distributed","embedded","systems","using","vdm","larsen","wolff","battle","fitzgerald","pierce"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}