{"_id":{"_str":"53b6a8ce7cc42ee75e000212"},"__v":0,"authorIDs":[],"author_short":["Lausdahl, K."],"bibbaseid":"lausdahl-enhancingformalmodellingtoolsupportwithincreasedautomation-2011","bibdata":{"bibtype":"techreport","type":"techreport","key":"Lausdahl&11d","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]}],"title":"Enhancing Formal Modelling Tool Support with Increased Automation","institution":"Aarhus University","year":"2011","month":"October","number":"ECE-TR-4","url":"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf","bibtex":"@TECHREPORT{Lausdahl&11d,\n KEY \t= \"Lausdahl\\&11d\",\n AUTHOR \t= \"Kenneth Lausdahl\",\n TITLE \t= \"{Enhancing Formal Modelling Tool Support with Increased Automation}\",\n INSTITUTION \t\t= \"Aarhus University\",\n YEAR \t= \"2011\",\n MONTH \t= \"October\",\n NUMBER \t= \"{ECE-TR-4}\",\n URL\t\t\t\t= \"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf\"}\n\n%G VDM COSIM TOOL DESTECS OVERTURE\n","author_short":["Lausdahl, K."],"id":"Lausdahl&11d","bibbaseid":"lausdahl-enhancingformalmodellingtoolsupportwithincreasedautomation-2011","role":"author","urls":{"Paper":"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.650Z","downloads":0,"keywords":[],"search_terms":["enhancing","formal","modelling","tool","support","increased","automation","lausdahl"],"title":"Enhancing Formal Modelling Tool Support with Increased Automation","year":2011,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}