Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang. Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. In Karin Breitman, Ana Cavalcanti, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Volume 5885 of Lecture Notes in Computer Science, pages 581-600, Springer, 2009. [doi]

This author has not been identified. Look up 'Jun Sun 0001' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in GoogleThis author has not been identified. Look up 'Xian Zhang' in Google

runs on WebDSL