Specification theories for probabilistic systems

Mikkel Larsen Pedersen

Institut for Datalogi

Publikation: Ph.d.-afhandling

1794 Downloads (Pure)

Originalsprog	Engelsk
Status	Udgivet - 2011

Adgang til dokumentet

ThesisFinalADIndsendt manuskript, 2,07 MB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater