A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

✍ Scribed by Jean-Raymond Abrial; Dominique Cansell; Dominique Méry

• Publisher: Springer
• Year: 2003
• Tongue: English
• Weight: 126 KB
• Volume: 14
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/s001650300002