2013 journal article
Formalizing and verifying protocol refinements
ACM Transactions on Intelligent Systems and Technology, 4(2).
By: S. Gerard & M. Singh
Open access is the free, immediate, online availability of research
articles. Making your research open access allows researchers across
to globe read and interact with your work which may increase citations
to your work.
For more information on open access and how you can increase your research impact, contact
the Copyright & Digital Scholarship Center (CDSC)