BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Book Section
    Number of items: 1.

    Book Section

    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 Sep 27 05:27:13 2021 BST.