A modular approach to protocol veri cation using process algebra (0)

by C P J Koymans, J C Mulder
Venue:In Baeten [1