@MASTERSTHESIS{Nielsen10b,
  KEY           = "Nielsen10",
  AUTHOR        = "Claus Ballegaard Nielsen",
  TITLE         = "{Dynamic Reconfiguration of Distributed Systems in VDM-RT}",
  SCHOOL        = "Aarhus University",
  YEAR          = "2010",
  MONTH         = "December",
  ANNOTE        = "",
  COMMENT       = "BIB I have a copy (PGL)"}

%G VDM TOOL OVERTURE

{"_id":"y562Fi3ZQS65KPuoX","authorIDs":[],"author_short":["Nielsen, C. B."],"bibbaseid":"nielsen-dynamicreconfigurationofdistributedsystemsinvdmrt-2010","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Nielsen10b","author":[{"firstnames":["Claus","Ballegaard"],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]}],"title":"Dynamic Reconfiguration of Distributed Systems in VDM-RT","school":"Aarhus University","year":"2010","month":"December","annote":"","comment":"BIB I have a copy (PGL)","bibtex":"@MASTERSTHESIS{Nielsen10b,\n KEY = \"Nielsen10\",\n AUTHOR = \"Claus Ballegaard Nielsen\",\n TITLE = \"{Dynamic Reconfiguration of Distributed Systems in VDM-RT}\",\n SCHOOL = \"Aarhus University\",\n YEAR = \"2010\",\n MONTH = \"December\",\n ANNOTE = \"\",\n COMMENT = \"BIB I have a copy (PGL)\"}\n\n%G VDM TOOL OVERTURE\n ","author_short":["Nielsen, C. B."],"id":"Nielsen10b","bibbaseid":"nielsen-dynamicreconfigurationofdistributedsystemsinvdmrt-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.380Z","downloads":0,"keywords":[],"search_terms":["dynamic","reconfiguration","distributed","systems","vdm","nielsen"],"title":"Dynamic Reconfiguration of Distributed Systems in VDM-RT","year":2010,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}