Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs (2002)

by P Herrmann, H Krumm, O Drögehorn, W Geisselhardt
Venue:Telecommunication Systems