Assume-Guarantee Verification for Probabilistic Systems

M Kwiatkowska, G Norman, David Parker, H Qu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

85 Citations (Scopus)
Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
Subtitle of host publication6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
EditorsJ Esparza, R Majumdar
PublisherSpringer
Pages23-37
ISBN (Electronic)978-3-642-12002-2
ISBN (Print)978-3-642-12001-5
DOIs
Publication statusPublished - 2010

Publication series

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

Cite this