Significant Diagnostic Counterexamples in Probabilistic Model Checking

Thumbnail Image

Files

Primary 75834.pdf (297.61 KB)

Date

2009

Authors

Andrés, M.E.
D'Argenio, Pedro
Rossum, P.J.B. Peter

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer Verlag

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/75834

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By