Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lubos Brim, Milan Ceska, Sven Drazan, David Safránek. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 107-123, Springer, 2013. [doi]

This 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 'Sven Drazan' in GoogleThis author has not been identified. Look up 'David Safránek' in Google

runs on WebDSL