Skip to main content

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

A. Abate‚ L. Brim‚ M. Češka and M. Kwiatkowska

Book Title
Computer Aided Verification (CAV)
Pages
195−213
Publisher
Springer Berlin Heidelberg
Series
LNCS
Volume
9206
Year
2015