Towards a Model Logic for p-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Taolue Chen, Tingting Han, Jian Lu. Towards a Model Logic for p-Calculus. In 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings. pages 330-335, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Taolue Chen' in GoogleThis author has not been identified. Look up 'Tingting Han' in GoogleThis author has not been identified. Look up 'Jian Lu' in Google

runs on WebDSL