Compositional Verification of Probabilistic Processes

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

56 Citationer (Scopus)
OriginalsprogEngelsk
TitelCONCUR'92
RedaktørerCleaveland, W.R. (ed.)
Publikationsdato1992
StatusUdgivet - 1992

Citer dette

Larsen, K. G., & Skou, A. (1992). Compositional Verification of Probabilistic Processes. I Cleaveland, W.R. (ed.) (red.), CONCUR'92
@inbook{8e1b8b009c2e11db8ed6000ea68e967b,
title = "Compositional Verification of Probabilistic Processes",
author = "Larsen, {Kim Guldstrand} and Arne Skou",
year = "1992",
language = "English",
editor = "{Cleaveland, W.R. (ed.)}",
booktitle = "CONCUR'92",

}

Larsen, KG & Skou, A 1992, Compositional Verification of Probabilistic Processes. i Cleaveland, W.R. (ed.) (red.), CONCUR'92.

Compositional Verification of Probabilistic Processes. / Larsen, Kim Guldstrand; Skou, Arne.

CONCUR'92. red. / Cleaveland, W.R. (ed.). 1992.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

TY - CHAP

T1 - Compositional Verification of Probabilistic Processes

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

PY - 1992

Y1 - 1992

M3 - Book chapter

BT - CONCUR'92

A2 - Cleaveland, W.R. (ed.), null

ER -

Larsen KG, Skou A. Compositional Verification of Probabilistic Processes. I Cleaveland, W.R. (ed.), red., CONCUR'92. 1992