Tree logic with recursion and model checking algorithm

Chen, Taolue and Han, Tingting and Lu, J. (2004) Tree logic with recursion and model checking algorithm. In: Hamza, M.H. (ed.) Proceedings of the IASTED Conference on Software Engineering and Applications. IASTED/ACTA Press, pp. 588-593. ISBN 088986425X.

Full text not available from this repository.

Metadata

Item Type:	Book Section
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	16 Feb 2021 20:20
Last Modified:	09 Aug 2023 12:50
URI:	https://eprints.bbk.ac.uk/id/eprint/43073

Statistics

Archive Staff Only (login required)