2006 | ||
---|---|---|
4 | EE | Russell J. Haines, Tim Lewis, Gary Clemo: Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract). ISCC 2006: 3-7 |
3 | EE | Russell J. Haines, Gary Clemo, Alistair Munro: Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF. VTC Fall 2006: 1-5 |
2 | EE | Russell J. Haines, Alistair Munro, Gary Clemo: Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF. VTC Spring 2006: 1171-1175 |
1 | EE | Russell J. Haines, Tim Lewis, Justin Coon, Neil Fanning: Non-Linear Optimization of IEEE802.11e Super-frame Configuration. VTC Spring 2006: 1211-1215 |
1 | Gary Clemo | [2] [3] [4] |
2 | Justin Coon | [1] |
3 | Neil Fanning | [1] |
4 | Tim Lewis | [1] [4] |
5 | Alistair Munro | [2] [3] |