DMCA

A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical Properties (2005)

Cached

Download Links

by Santiago Escobar , Catherine Meadows , José Meseguer
Citations:41 - 20 self