dblp.uni-trier.dewww.uni-trier.de

Russell J. Haines

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
4EERussell J. Haines, Tim Lewis, Gary Clemo: Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract). ISCC 2006: 3-7
3EERussell 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
2EERussell 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
1EERussell J. Haines, Tim Lewis, Justin Coon, Neil Fanning: Non-Linear Optimization of IEEE802.11e Super-frame Configuration. VTC Spring 2006: 1211-1215

Coauthor Index

1Gary Clemo [2] [3] [4]
2Justin Coon [1]
3Neil Fanning [1]
4Tim Lewis [1] [4]
5Alistair Munro [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)