Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Sellink, M.P.A.
Volume
Title
137
Confluence for Process Verification
Groote, J.F.
|
Sellink, M.P.A.
128
Verifying Modal Formulas over I/O-Automata by means of Type Theory
Sellink, M.P.A.
109
Proof-Checking a Data Link Protocol
Helmink, L.
|
Sellink, M.P.A.
|
Vaandrager, F.W.
87
Verifying Process Algebra Proofs in Type Theory
Sellink, M.P.A.
Online