Specification theories for probabilistic systems

Mikkel Larsen Pedersen

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

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

Citer dette

Pedersen, M. L. (2011). Specification theories for probabilistic systems. Ph.d. theses, Nr. 67
Pedersen, Mikkel Larsen. / Specification theories for probabilistic systems. 2011. (Ph.d. theses; Nr. 67).
@phdthesis{3082ab673f8846c098f5f0919a9cb007,
title = "Specification theories for probabilistic systems",
author = "Pedersen, {Mikkel Larsen}",
year = "2011",
language = "English",
series = "Ph.d. theses",
publisher = "Department of Computer Science, Aalborg University",
number = "67",

}

Pedersen, ML 2011, Specification theories for probabilistic systems. Ph.d. theses, nr. 67.

Specification theories for probabilistic systems. / Pedersen, Mikkel Larsen.

2011. (Ph.d. theses; Nr. 67).

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

TY - BOOK

T1 - Specification theories for probabilistic systems

AU - Pedersen, Mikkel Larsen

PY - 2011

Y1 - 2011

M3 - Ph.D. thesis

T3 - Ph.d. theses

BT - Specification theories for probabilistic systems

ER -

Pedersen ML. Specification theories for probabilistic systems. 2011. (Ph.d. theses; Nr. 67).