On correctness of dynamic protocol update (2005)

Cached

Download Links

by Pawe̷l T. Wojciechowski , Olivier Rütti
Venue:In Proc. FMOODS ’05: The 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS
Citations:4 - 4 self