TORA, Verification, Proofs and Model Checking

S. Yang and J. S. Baras

WiOpt ’03: Modeling and Optimization in Mobile, AdHoc and Wireless Networks, Sophia-Antipolis, France, March 3-5, 2003