Tree logic with recursion and model checking algorithm - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Taolue Chen, Tingting Han, Jian Lu. Tree logic with recursion and model checking algorithm. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 588-593, IASTED/ACTA Press, 2004.

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