Onderzoeksoutput

Filter
Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET 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 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Open Access
Bestand
82 Downloads (Pure)