@INPROCEEDINGS{Wolff09,
  KEY           = "Wolff09",
  AUTHOR        = "Sune Wolff",
  TITLE         = "{Formalising Concurrent and Distributed Design
                   Patterns with VDM}",
  NOTE          = "The 7th Overture workshop at FM'09",
  YEAR          = "2009",
  MONTH         = "November",
  ANNOTE        = "",
  COMMENT       = "I have the source (PGL)"}

%G OVERTURE VDM TOOL

{"_id":"TwQivBk6n27B9DEZB","authorIDs":[],"author_short":["Wolff, S."],"bibbaseid":"wolff-formalisingconcurrentanddistributeddesignpatternswithvdm-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Wolff09","author":[{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]}],"title":"Formalising Concurrent and Distributed Design Patterns with VDM","note":"The 7th Overture workshop at FM'09","year":"2009","month":"November","annote":"","comment":"I have the source (PGL)","bibtex":"@INPROCEEDINGS{Wolff09,\n KEY = \"Wolff09\",\n AUTHOR = \"Sune Wolff\",\n TITLE = \"{Formalising Concurrent and Distributed Design\n Patterns with VDM}\",\n NOTE = \"The 7th Overture workshop at FM'09\",\n YEAR = \"2009\",\n MONTH = \"November\",\n ANNOTE = \"\",\n COMMENT = \"I have the source (PGL)\"}\n\n%G OVERTURE VDM TOOL\n","author_short":["Wolff, S."],"id":"Wolff09","bibbaseid":"wolff-formalisingconcurrentanddistributeddesignpatternswithvdm-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.389Z","downloads":0,"keywords":[],"search_terms":["formalising","concurrent","distributed","design","patterns","vdm","wolff"],"title":"Formalising Concurrent and Distributed Design Patterns with VDM","year":2009,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}