Publications

• Formalizing and verifying protocol refinements , ACM Transactions on Intelligent Systems and Technology (2013)

View all publications