Timed verification with μCRL

Stefan Blom, Natalia Ioustinova, Natalia Sidorova

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Timed verification with μCRL'. Samen vormen ze een unieke vingerafdruk.

Computer Science