Scott N. Gerard

2013

doi dblp
Formalizing and verifying protocol refinements.
Scott N. Gerard|Munindar P. Singh
ACM Transactions on Intelligent Systems and Technology (TIST) 2013 Volume 4 Issue 2