Checking secrecy by means of partial order reduction

C.J.F. Cremers, S. Mauw

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)

Vingerafdruk Duik in de onderzoeksthema's van 'Checking secrecy by means of partial order reduction'. Samen vormen ze een unieke vingerafdruk.

Engineering en materiaalwetenschappen