CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Three logics for branching bisimulation

    Author
    Publication venue
    a.c.m
    Publication date
    Field of study
    Get PDF
    CWI's Institutional Repository

    Axiom System Induced by CTL* Logic

    Author
    Publication venue
    'IOS Press'
    Publication date
    Field of study
    No full text
    Newcastle University E-Prints

    Axiom System Induced by CTL Logic

    Author
    Publication venue
    Computing Laboratory, University of Newcastle upon Tyne
    Publication date
    Field of study
    Get PDF
    Newcastle University E-Prints
    corecore