Tree logic with recursion and model checking algorithm - researchr publication

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.

Abstract is missing.

runs on WebDSL