Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS

✍ Scribed by Mihaela Sighireanu; Radu Mateescu

• Publisher: Springer
• Year: 1998
• Tongue: English
• Weight: 433 KB
• Volume: 2
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s100090050018