@INPROCEEDINGS{Jorgensen&13,
  KEY           = "J\o{}rgensen\&13",
  AUTHOR        = "Peter W. V. J\o{}rgensen and Kenneth Lausdahl and
                   Peter Gorm Larsen",
  TITLE         = "{An Architectural Evolution of the Overture Tool}",
  BOOKTITLE     = "The Overture 2013 workshop",
  YEAR          = "2013",
  MONTH         = "August",
  ANNOTE        = ""}

%G VDM TOOL OVERTURE

{"_id":"GGETSSjjYPJ2NBBqK","authorIDs":[],"author_short":["Jørgensen, P. W. V.","Lausdahl, K.","Larsen, P. G."],"bibbaseid":"jrgensen-lausdahl-larsen-anarchitecturalevolutionoftheoverturetool-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Jorgensen&13","author":[{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Jørgensen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"An Architectural Evolution of the Overture Tool","booktitle":"The Overture 2013 workshop","year":"2013","month":"August","annote":"","bibtex":"@INPROCEEDINGS{Jorgensen&13,\n KEY = \"J\\o{}rgensen\\&13\",\n AUTHOR = \"Peter W. V. J\\o{}rgensen and Kenneth Lausdahl and\n Peter Gorm Larsen\",\n TITLE = \"{An Architectural Evolution of the Overture Tool}\",\n BOOKTITLE = \"The Overture 2013 workshop\",\n YEAR = \"2013\",\n MONTH = \"August\",\n ANNOTE = \"\"}\n\n%G VDM TOOL OVERTURE\n","author_short":["Jørgensen, P. W. V.","Lausdahl, K.","Larsen, P. G."],"id":"Jorgensen&13","bibbaseid":"jrgensen-lausdahl-larsen-anarchitecturalevolutionoftheoverturetool-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.334Z","downloads":0,"keywords":[],"search_terms":["architectural","evolution","overture","tool","jørgensen","lausdahl","larsen"],"title":"An Architectural Evolution of the Overture Tool","year":2013,"dataSources":["nGw4dfQFrDZqKC8vj","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB"]}