Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394

✍ Scribed by Marco Devillers; David Griffioen; Judi Romijn; Frits Vaandrager

• Book ID: 110267362
• Publisher: Springer
• Year: 2000
• Tongue: English
• Weight: 97 KB
• Volume: 16
• Category: Article
• ISSN: 0925-9856
• DOI: 10.1023/a:1008764923992