DMCA

A formal semantics for protocol narrations (2005)

by Sébastien Briais , Uwe Nestmann
Venue:In Proceedings of TGC’05, LNCS 3705
Citations:8 - 1 self