Cache-Based Model Checking of Networked Applications: From Linear to Branching Time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. In ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009. pages 447-458, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Cyrille Artho' in GoogleThis author has not been identified. Look up 'Watcharin Leungwattanakit' in GoogleThis author has not been identified. Look up 'Masami Hagiya' in GoogleThis author has not been identified. Look up 'Yoshinori Tanabe' in GoogleThis author has not been identified. Look up 'Mitsuharu Yamamoto' in Google

runs on WebDSL