Analysis of the Four-Slot Mechanism (1996)

by Phillip Brooke, Jeremy L Jacob, James M Armstrong
Venue:In Proceedings of the BCS-FACS Northern Formal Methods Workshop