| Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method Recent Google, Yahoo, MSN search queries leading to this post |  |
| Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method Recent Google, Yahoo, MSN search queries leading to this post | |
