TORA, Verification, Proofs and Model Checking

TORA, Verification, Proofs and Model Checking

Title : TORA, Verification, Proofs and Model Checking
Authors :
Yang, Shahan
Baras, John S.

Conference : WiOpt ’03: Modeling and Optimization in Mobile
Date: March 03 - March 05, 2003
Download Full Paper