Checking verifications of protocols and distributed systems by computer

J.F. Groote, F.G. Monin, J.C. Pol, van de

    Onderzoeksoutput: Boek/rapportRapportAcademic

    15 Citaten (Scopus)
    147 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's28
    StatusGepubliceerd - 1998

    Publicatie series

    NaamComputing science reports
    Volume9813
    ISSN van geprinte versie0926-4515

    Citeer dit