Practical symbolic model checking of the full µ-calculus using compositional abstractions

P. Kelb, D.R. Dams, R.T. Gerth

    Onderzoeksoutput: Boek/rapportRapportAcademic

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

    Publicatie series

    NaamComputing science reports
    Volume9531
    ISSN van geprinte versie0926-4515

    Citeer dit