Approximation-based tree regular model-checking

Approximation-based tree regular model-checking

Artikkeli

Boichut, Y. ; Héam, P.-C ; Kouchnarenko, O.

Julkaisussa: Nordic journal of computing 14 (2008) : 3, s. 216-241

Tallennettuna:

Kieli

englanti

Luokitus

acmccs D.2.4
acmccs F.4.2

Aiheet/asiasanat

verification

model-checking

regular languages

security protocols

Saatavuustiedot

Henkilökuntanäyttö