Incremental Verification of Parametric and Reconfigurable Markov Chains

Paul Gainer, Ernst Moritz Hahn, University Liverpool, Sven Schewe

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

2 Citations (Scopus)
99 Downloads (Pure)

Fingerprint Dive into the research topics of 'Incremental Verification of Parametric and Reconfigurable Markov Chains'. Together they form a unique fingerprint.

Engineering & Materials Science