| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2002 |
Computer Science Technical Reports 2002: Automatic Vertification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
C Daws, Marta Kwiatkowska, Gethin Norman
Research output: Working paper/Preprint › Working paper