Enhancing Formal Modelling Tool Support with Increased Automation. Lausdahl, K. Ph.D. Thesis, Aarhus University, June, 2013.
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"
}

%G COMPASSPUB OVERTURE

Downloads: 0