BIROn - Birkbeck Institutional Research Online

    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.


    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


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item