@MASTERSTHESIS{Hasanagic14,
  KEY           = "Hasanagic14",
  AUTHOR        = "Miran Hasanagi\'{c}",
  TITLE         = "{Code Generation for Distributed Systems Modelled in VDM-RT}",
  SCHOOL        = "Aarhus University",
  ADDRESS       = "Department of Engineering",
  YEAR          = "2014",
  MONTH         = "December",
  SIZE          = "122",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

{"_id":"TyuSNgYb5aBYSZyYZ","bibbaseid":"hasanagi-codegenerationfordistributedsystemsmodelledinvdmrt-2014","downloads":0,"creationDate":"2015-12-06T22:52:37.467Z","title":"Code Generation for Distributed Systems Modelled in VDM-RT","author_short":["Hasanagić, M."],"year":2014,"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Hasanagic14","author":[{"firstnames":["Miran"],"propositions":[],"lastnames":["Hasanagić"],"suffixes":[]}],"title":"Code Generation for Distributed Systems Modelled in VDM-RT","school":"Aarhus University","address":"Department of Engineering","year":"2014","month":"December","size":"122","annote":"","comment":"","bibtex":"@MASTERSTHESIS{Hasanagic14,\n KEY = \"Hasanagic14\",\n AUTHOR = \"Miran Hasanagi\\'{c}\",\n TITLE = \"{Code Generation for Distributed Systems Modelled in VDM-RT}\",\n SCHOOL = \"Aarhus University\",\n ADDRESS = \"Department of Engineering\",\n YEAR = \"2014\",\n MONTH = \"December\",\n SIZE = \"122\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Hasanagić, M."],"id":"Hasanagic14","bibbaseid":"hasanagi-codegenerationfordistributedsystemsmodelledinvdmrt-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["code","generation","distributed","systems","modelled","vdm","hasanagić"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}