Abstraction Refinement for Probabilistic Software

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

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

44 Citations (Scopus)
Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
Subtitle of host publication10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
EditorsND Jones, M Muller-Olm
PublisherSpringer
Pages182-197
ISBN (Electronic)978-3-540-93900-9
ISBN (Print)978-3-540-93899-6
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5403
ISSN (Print)0302-9743

Cite this