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