Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Griffioen, D.
Volume
Title
136
The Bakery Protocol: A Comparative Case-Study in Formal Verification
Griffioen, D.
|
Korver, H.
