Model Checking CSP Revisited: Introducing a Process Analysis Toolkit - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jun Sun 0001, Yang Liu, Jin Song Dong. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 307-322, Springer, 2008. [doi]

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

runs on WebDSL