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

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationNijmegen
PublisherRadboud Universiteit Nijmegen
Number of pages18
Publication statusPublished - 2007

Publication series

NameTechnical Report
VolumeICIS-R07014

Cite this