@conference {
	title = {TORA, Verification, Proofs and Model Checking},
	author = {Yang, Shahan., Baras, John S.},
	year = {2003},
	month = {03/2003},
	address = {Sophia-Antipolis, France},
	booktitle = {WiOpt \&rsquo;03: Modeling and Optimization in Mobile, AdHoc and Wireless Networks}
}
