Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Abate, Lubos Brim, Milan Ceska, Marta Z. Kwiatkowska. Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. In Daniel Kroening, Corina S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Volume 9206 of Lecture Notes in Computer Science, pages 195-213, Springer, 2015. [doi]

This author has not been identified. Look up 'Alessandro Abate' in GoogleThis author has not been identified. Look up 'Lubos Brim' in GoogleThis author has not been identified. Look up 'Milan Ceska' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in Google

runs on WebDSL