Specification theories for probabilistic systems

Mikkel Larsen Pedersen

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

1757 Downloads (Pure)
OriginalsprogEngelsk
StatusUdgivet - 2011
NavnPh.d. theses
Nummer67
ISSN1601-0590

Citationsformater