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.

    Metadata

    Item Type: Book Section
    School: School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 16 Feb 2021 20:20
    Last Modified: 16 Feb 2021 20:20
    URI: https://eprints.bbk.ac.uk/id/eprint/43073

    Statistics

    Downloads
    Activity Overview
    0Downloads
    10Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item