Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs (2002)
by
Peter Herrmann
,
Heiko Krumm
| Venue: | Telecommunication Systems |
| Citations: | 4 - 2 self |
Document Versions
| Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs –Peter Herrmann, Heiko Krumm — 2002 — Telecommunication Systems |
