Flat fragments of CTL and CTL* : separating the expressive and distinguishing powers

D.R. Dams

    Onderzoeksoutput: Boek/rapportRapportAcademic

    124 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's22
    StatusGepubliceerd - 1998

    Publicatie series

    NaamComputing science reports
    Volume9805
    ISSN van geprinte versie0926-4515

    Citeer dit