Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang. Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. Electronic Notes in Theoretical Computer Science, 128(6):231-246, 2005. [doi]

This author has not been identified. Look up 'Xu Wang' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'Georgios K. Theodoropoulos' in GoogleThis author has not been identified. Look up 'Qianyi Zhang' in Google

runs on WebDSL