Vingerafdruk
Duik in de onderzoeksthema's van 'Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
Marko van Eekelen, S. Hoedt, ten, R. Schreurs, Y.S. Usenko
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review