Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL*

D.R. Dams, O. Grumberg, R.T. Gerth

    Onderzoeksoutput: Boek/rapportRapportAcademic

    44 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's27
    StatusGepubliceerd - 1994

    Publicatie series

    NaamComputing science notes
    Volume9424

    Citeer dit