Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Number of items: 1.

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.

This list was generated on Mon Dec 23 06:21:40 2024 GMT.

Export as	Atom RSS