Reduction and Refinement Strategies for Probabilistic Analyses

P.R. d' Argenio, B. Jeannet, H.E. Jensen, K.G. Larsen

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined
Pages (from-to)-
JournalLecture notes in artificial intelligence
Volume2399
Publication statusPublished - 2002

Keywords

  • METIS-211484

Cite this

d' Argenio, P. R., Jeannet, B., Jensen, H. E., & Larsen, K. G. (2002). Reduction and Refinement Strategies for Probabilistic Analyses. Lecture notes in artificial intelligence, 2399, -.
d' Argenio, P.R. ; Jeannet, B. ; Jensen, H.E. ; Larsen, K.G. / Reduction and Refinement Strategies for Probabilistic Analyses. In: Lecture notes in artificial intelligence. 2002 ; Vol. 2399. pp. -.
@article{43f15fd6ff0546f694efd10cc84261d1,
title = "Reduction and Refinement Strategies for Probabilistic Analyses",
keywords = "METIS-211484",
author = "{d' Argenio}, P.R. and B. Jeannet and H.E. Jensen and K.G. Larsen",
note = "Boektitel: Process Algebra and Probabilistic Methods",
year = "2002",
language = "Undefined",
volume = "2399",
pages = "--",
journal = "Lecture notes in artificial intelligence",
issn = "0302-9743",
publisher = "Springer",

}

d' Argenio, PR, Jeannet, B, Jensen, HE & Larsen, KG 2002, 'Reduction and Refinement Strategies for Probabilistic Analyses' Lecture notes in artificial intelligence, vol. 2399, pp. -.

Reduction and Refinement Strategies for Probabilistic Analyses. / d' Argenio, P.R.; Jeannet, B.; Jensen, H.E.; Larsen, K.G.

In: Lecture notes in artificial intelligence, Vol. 2399, 2002, p. -.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Reduction and Refinement Strategies for Probabilistic Analyses

AU - d' Argenio, P.R.

AU - Jeannet, B.

AU - Jensen, H.E.

AU - Larsen, K.G.

N1 - Boektitel: Process Algebra and Probabilistic Methods

PY - 2002

Y1 - 2002

KW - METIS-211484

M3 - Article

VL - 2399

SP - -

JO - Lecture notes in artificial intelligence

JF - Lecture notes in artificial intelligence

SN - 0302-9743

ER -