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.- Sort by
- Weight
- Alphabetically
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties
Santiago Escobar, Catherine Meadows, José Meseguer
Research output: Contribution to journal › Article › peer-review