𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES