Reduction and Refinement Strategies for Probalistic Analysis

P.R. D'Argenio, B. Jeannet, H.E. Jensen, Kim Guldstrand Larsen

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

OriginalsprogEngelsk
TitelProcess Algebra and Probablistic Methods
RedaktørerHermanns, H. (ed.) : Sagala R. (ed.)
Udgivelses stedBerlin
ForlagIEEE Computer Society Press
Publikationsdato2002
ISBN (Trykt)3540439137
StatusUdgivet - 2002
NavnLecture Notes in Computer Science
Nummer2399
ISSN0302-9743

Citer dette

D'Argenio, P. R., Jeannet, B., Jensen, H. E., & Larsen, K. G. (2002). Reduction and Refinement Strategies for Probalistic Analysis. I Hermanns, H. (ed.) : Sagala R. (ed.) (red.), Process Algebra and Probablistic Methods Berlin: IEEE Computer Society Press. Lecture Notes in Computer Science, Nr. 2399
D'Argenio, P.R. ; Jeannet, B. ; Jensen, H.E. ; Larsen, Kim Guldstrand. / Reduction and Refinement Strategies for Probalistic Analysis. Process Algebra and Probablistic Methods. red. / Hermanns, H. (ed.) : Sagala R. (ed.). Berlin : IEEE Computer Society Press, 2002. (Lecture Notes in Computer Science; Nr. 2399).
@inbook{8f578d709c2e11db8ed6000ea68e967b,
title = "Reduction and Refinement Strategies for Probalistic Analysis",
author = "P.R. D'Argenio and B. Jeannet and H.E. Jensen and Larsen, {Kim Guldstrand}",
year = "2002",
language = "English",
isbn = "3540439137",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
number = "2399",
editor = "{Hermanns, H. (ed.) : Sagala R. (ed.)}",
booktitle = "Process Algebra and Probablistic Methods",
address = "United States",

}

D'Argenio, PR, Jeannet, B, Jensen, HE & Larsen, KG 2002, Reduction and Refinement Strategies for Probalistic Analysis. i Hermanns, H. (ed.) : Sagala R. (ed.) (red.), Process Algebra and Probablistic Methods. IEEE Computer Society Press, Berlin, Lecture Notes in Computer Science, nr. 2399.

Reduction and Refinement Strategies for Probalistic Analysis. / D'Argenio, P.R.; Jeannet, B.; Jensen, H.E.; Larsen, Kim Guldstrand.

Process Algebra and Probablistic Methods. red. / Hermanns, H. (ed.) : Sagala R. (ed.). Berlin : IEEE Computer Society Press, 2002. (Lecture Notes in Computer Science; Nr. 2399).

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

TY - CHAP

T1 - Reduction and Refinement Strategies for Probalistic Analysis

AU - D'Argenio, P.R.

AU - Jeannet, B.

AU - Jensen, H.E.

AU - Larsen, Kim Guldstrand

PY - 2002

Y1 - 2002

M3 - Book chapter

SN - 3540439137

T3 - Lecture Notes in Computer Science

BT - Process Algebra and Probablistic Methods

A2 - Hermanns, H. (ed.) : Sagala R. (ed.), null

PB - IEEE Computer Society Press

CY - Berlin

ER -

D'Argenio PR, Jeannet B, Jensen HE, Larsen KG. Reduction and Refinement Strategies for Probalistic Analysis. I Hermanns, H. (ed.) : Sagala R. (ed.), red., Process Algebra and Probablistic Methods. Berlin: IEEE Computer Society Press. 2002. (Lecture Notes in Computer Science; Nr. 2399).