Research Output

Filter
Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)
2007

Looking good, behaving well : behavioural verification and visualisation of formal models of concurrent systems

Westergaard, M., 2007, Aarhus: University of Aarhus. 171 p.

Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Open Access
File
85 Downloads (Pure)