CSRL model checking with closed-form bounding distributions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nihal Pekergin, Sana Younès. CSRL model checking with closed-form bounding distributions. In John S. Baras, Costas Courcoubetis, editors, 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2008, Athens, Greece, October 20-24, 2008. pages 21, ICST/ACM, 2008. [doi]

This author has not been identified. Look up 'Nihal Pekergin' in GoogleThis author has not been identified. Look up 'Sana Younès' in Google

runs on WebDSL