Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs

✍ Scribed by Peter Herrmann; Heiko Krumm; Olaf Drögehorn; Walter Geisselhardt

• Book ID: 110348545
• Publisher: Springer US
• Year: 2002
• Tongue: English
• Weight: 175 KB
• Volume: 20
• Category: Article
• ISSN: 1018-4864
• DOI: 10.1023/a:1016501430360