You are here

TORA, Verification, Proofs and Model Checking

Type: 
Conference PaperInvited and refereed articles in conference proceedings
Authored by:
Yang, Shahan., Baras, John S.
Conference date:
March 3-5, 2003
Conference:
WiOpt ’03: Modeling and Optimization in Mobile, AdHoc and Wireless Networks
Full Text Paper: