Rainer Dömer;Daniel D. Gajski
-;-
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)