Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Reniers, M.A.
Volume
Title
215
A new equivalence for processes with timing. With an application to protocol verification
Baeten, J.C.M.
|
Middelburg, C.A.
|
Reniers, M.A.
Online
