Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation

Marko van Eekelen, S. Hoedt, ten, R. Schreurs, Y.S. Usenko

    Onderzoeksoutput: Boek/rapportRapportAcademic

    Originele taal-2Engels
    Plaats van productieNijmegen
    UitgeverijRadboud Universiteit Nijmegen
    Aantal pagina's18
    StatusGepubliceerd - 2007

    Publicatie series

    NaamTechnical Report
    VolumeICIS-R07014

    Citeer dit