Computational Tree Logic



ScienceWISE definitions



    Synonyms

    • CTL
    • Computation Tree Logic