Works (1)

2013 journal article

Formalizing and verifying protocol refinements

ACM Transactions on Intelligent Systems and Technology, 4(2).

By: S. Gerard & M. Singh

Source: NC State University Libraries
Added: August 6, 2018