Lionel Blanc;Sylvan Dissoubray
-;-
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)