DMCA

Formalizing and verifying protocol refinements (2013)

Cached

Download Links

by Scott N. Gerard , Munindar P. Singh
Citations:9 - 5 self