Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Polak, I.
Volume
Title
130
A Proof-checked Verification of a Real-Time Communication Protocol
Polak, I.