Enhancing Formal Modelling Tool Support with Increased Automation. Lausdahl, K. Ph.D. Thesis, Aarhus University, June, 2013.
Enhancing Formal Modelling Tool Support with Increased Automation [pdf]Paper  bibtex   
@phdthesis{Lausdahl&13c,
	key				= "Lausdahl\&13c",
	author			= "Kenneth Lausdahl",
	title			= "Enhancing Formal Modelling Tool Support with Increased Automation",
	school			= "Aarhus University",
	year			= "2013",
	month			= "June",
	URL				="PhD_Dissertation_Kenneth_Lausdahl_2013.pdf"
}
Downloads: 0