Abstraction Refinement for Probabilistic Software

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Standard

Abstraction Refinement for Probabilistic Software. / Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David.

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. ed. / ND Jones; M Muller-Olm. Springer, 2009. p. 182-197 (Lecture Notes in Computer Science ; Vol. 5403).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Harvard

Kattenbelt, M, Kwiatkowska, M, Norman, G & Parker, D 2009, Abstraction Refinement for Probabilistic Software. in ND Jones & M Muller-Olm (eds), Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Lecture Notes in Computer Science , vol. 5403, Springer, pp. 182-197. https://doi.org/10.1007/978-3-540-93900-9_17

APA

Kattenbelt, M., Kwiatkowska, M., Norman, G., & Parker, D. (2009). Abstraction Refinement for Probabilistic Software. In ND. Jones, & M. Muller-Olm (Eds.), Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (pp. 182-197). (Lecture Notes in Computer Science ; Vol. 5403). Springer. https://doi.org/10.1007/978-3-540-93900-9_17

Vancouver

Kattenbelt M, Kwiatkowska M, Norman G, Parker D. Abstraction Refinement for Probabilistic Software. In Jones ND, Muller-Olm M, editors, Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Springer. 2009. p. 182-197. (Lecture Notes in Computer Science ). https://doi.org/10.1007/978-3-540-93900-9_17

Author

Kattenbelt, Mark ; Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. / Abstraction Refinement for Probabilistic Software. Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. editor / ND Jones ; M Muller-Olm. Springer, 2009. pp. 182-197 (Lecture Notes in Computer Science ).

Bibtex

@inbook{e85083797528413a89c9f5260b7b78ac,
title = "Abstraction Refinement for Probabilistic Software",
author = "Mark Kattenbelt and Marta Kwiatkowska and Gethin Norman and David Parker",
year = "2009",
doi = "10.1007/978-3-540-93900-9_17",
language = "English",
isbn = "978-3-540-93899-6",
series = "Lecture Notes in Computer Science ",
publisher = "Springer",
pages = "182--197",
editor = "ND Jones and M Muller-Olm",
booktitle = "Verification, Model Checking, and Abstract Interpretation",

}

RIS

TY - CHAP

T1 - Abstraction Refinement for Probabilistic Software

AU - Kattenbelt, Mark

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-540-93900-9_17

DO - 10.1007/978-3-540-93900-9_17

M3 - Chapter (peer-reviewed)

SN - 978-3-540-93899-6

T3 - Lecture Notes in Computer Science

SP - 182

EP - 197

BT - Verification, Model Checking, and Abstract Interpretation

A2 - Jones, ND

A2 - Muller-Olm, M

PB - Springer

ER -