Statistical Model Checking Using Perfect Simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diana El Rabih, Nihal Pekergin. Statistical Model Checking Using Perfect Simulation. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 120-134, Springer, 2009. [doi]

This author has not been identified. Look up 'Diana El Rabih' in GoogleThis author has not been identified. Look up 'Nihal Pekergin' in Google

runs on WebDSL