Skip to main content

Publication

Formal Verification of the TTCAN protocol
Leen, G
(2000)
Formal Verification of the TTCAN protocol