Research output: Contribution to journal › Article › peer-review
Fingerprint
Dive into the research topics of 'A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties'. Together they form a unique fingerprint.