@MASTERSTHESIS{Moller&09,
  KEY           = "M{\"o}ller\&09",
  AUTHOR        = "David Holst M{\o{}}ller and Christian Rane Paysen Thillermann",
  TITLE         = "{Using Eclipse for Exploring an Integration Architecture
                   for VDM}",
  SCHOOL        = "Aarhus University/Engineering College of Aarhus",
  YEAR          = "2009",
  MONTH         = "June",
  SIZE          = "117",
  ANNOTE        = "",
  COMMENT       = "I have a copy (PGL)"}

%G VDM OVERTURE

{"_id":"gjcDsyrfMizeJCar8","authorIDs":[],"author_short":["Møller, D. H.","Thillermann, C. R. P."],"bibbaseid":"mller-thillermann-usingeclipseforexploringanintegrationarchitectureforvdm-2009","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Moller&09","author":[{"firstnames":["David","Holst"],"propositions":[],"lastnames":["Møller"],"suffixes":[]},{"firstnames":["Christian","Rane","Paysen"],"propositions":[],"lastnames":["Thillermann"],"suffixes":[]}],"title":"Using Eclipse for Exploring an Integration Architecture for VDM","school":"Aarhus University/Engineering College of Aarhus","year":"2009","month":"June","size":"117","annote":"","comment":"I have a copy (PGL)","bibtex":"@MASTERSTHESIS{Moller&09,\n KEY = \"M{\\\"o}ller\\&09\",\n AUTHOR = \"David Holst M{\\o{}}ller and Christian Rane Paysen Thillermann\",\n TITLE = \"{Using Eclipse for Exploring an Integration Architecture\n for VDM}\",\n SCHOOL = \"Aarhus University/Engineering College of Aarhus\",\n YEAR = \"2009\",\n MONTH = \"June\",\n SIZE = \"117\",\n ANNOTE = \"\",\n COMMENT = \"I have a copy (PGL)\"}\n\n%G VDM OVERTURE\n","author_short":["Møller, D. H.","Thillermann, C. R. P."],"id":"Moller&09","bibbaseid":"mller-thillermann-usingeclipseforexploringanintegrationarchitectureforvdm-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T17:59:23.092Z","downloads":0,"keywords":[],"search_terms":["using","eclipse","exploring","integration","architecture","vdm","møller","thillermann"],"title":"Using Eclipse for Exploring an Integration Architecture for VDM","year":2009,"dataSources":["nGw4dfQFrDZqKC8vj","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB"]}