Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Helmink, L.
Volume
Title
109
Proof-Checking a Data Link Protocol
Helmink, L.
|
Sellink, M.P.A.
|
Vaandrager, F.W.
Online