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