@INPROCEEDINGS{Nielsen10,
  KEY           = "Nielsen10",
  AUTHOR        = "Claus Ballegaard Nielsen",
  TITLE         = "{Towards Dynamic Reconfiguration of Distributed
                   Systems in VDM-RT}",
  BOOKTITLE     = "Semantic Issues in VDM: a BCS-FACS and Overture Workshop",
  YEAR          = "2010",
  MONTH         = "September",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}

%G VDM TOOL VDM++ OVERTURE

{"_id":"9pitdh9gELzToFAxS","authorIDs":[],"author_short":["Nielsen, C. B."],"bibbaseid":"nielsen-towardsdynamicreconfigurationofdistributedsystemsinvdmrt-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Nielsen10","author":[{"firstnames":["Claus","Ballegaard"],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]}],"title":"Towards Dynamic Reconfiguration of Distributed Systems in VDM-RT","booktitle":"Semantic Issues in VDM: a BCS-FACS and Overture Workshop","year":"2010","month":"September","annote":"","comment":"BIB PGL","bibtex":"@INPROCEEDINGS{Nielsen10,\n KEY = \"Nielsen10\",\n AUTHOR = \"Claus Ballegaard Nielsen\",\n TITLE = \"{Towards Dynamic Reconfiguration of Distributed\n Systems in VDM-RT}\",\n BOOKTITLE = \"Semantic Issues in VDM: a BCS-FACS and Overture Workshop\",\n YEAR = \"2010\",\n MONTH = \"September\",\n ANNOTE = \"\",\n COMMENT = \"BIB PGL\"}\n\n%G VDM TOOL VDM++ OVERTURE\n","author_short":["Nielsen, C. B."],"id":"Nielsen10","bibbaseid":"nielsen-towardsdynamicreconfigurationofdistributedsystemsinvdmrt-2010","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.378Z","downloads":0,"keywords":[],"search_terms":["towards","dynamic","reconfiguration","distributed","systems","vdm","nielsen"],"title":"Towards Dynamic Reconfiguration of Distributed Systems in VDM-RT","year":2010,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}