Abstract interpretation of reactive systems : preservation of CTL*

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

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

    Publicatie series

    NaamComputing science reports
    Volume9516
    ISSN van geprinte versie0926-4515

    Toegang tot document

    • 9442724Definitieve gepubliceerde versie, 1,1 MB

      Citeer dit