Concurrency Code Generator for the VDM++ Language. Kanakis, G. Master's thesis, Aarhus University, Department of Engineering, December, 2014. bibtex @MASTERSTHESIS{Kanakis14,
KEY = "Kanakis14",
AUTHOR = "Georgios Kanakis",
TITLE = "{Concurrency Code Generator for the VDM++ Language}",
SCHOOL = "Aarhus University",
ADDRESS = "Department of Engineering",
YEAR = "2014",
MONTH = "December",
SIZE = "89",
ANNOTE = "",
COMMENT = ""}
%G VDM OVERTURE TOOL
Downloads: 0
{"_id":"ndrCdT6CWL9n8T2Lv","bibbaseid":"kanakis-concurrencycodegeneratorforthevdmlanguage-2014","downloads":0,"creationDate":"2015-06-29T10:05:17.440Z","title":"Concurrency Code Generator for the VDM++ Language","author_short":["Kanakis, G."],"year":2014,"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Kanakis14","author":[{"firstnames":["Georgios"],"propositions":[],"lastnames":["Kanakis"],"suffixes":[]}],"title":"Concurrency Code Generator for the VDM++ Language","school":"Aarhus University","address":"Department of Engineering","year":"2014","month":"December","size":"89","annote":"","comment":"","bibtex":"@MASTERSTHESIS{Kanakis14,\n KEY = \"Kanakis14\",\n AUTHOR = \"Georgios Kanakis\",\n TITLE = \"{Concurrency Code Generator for the VDM++ Language}\",\n SCHOOL = \"Aarhus University\",\n ADDRESS = \"Department of Engineering\",\n YEAR = \"2014\",\n MONTH = \"December\",\n SIZE = \"89\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Kanakis, G."],"id":"Kanakis14","bibbaseid":"kanakis-concurrencycodegeneratorforthevdmlanguage-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["concurrency","code","generator","vdm","language","kanakis"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}