Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Mulder, J.C.
Volume
Title
6
A modular approach to protocol verification using process algebra
Koymans, C.P.J.
|
Mulder, J.C.
Online