TORA, Verification, Proofs and Model Checking Post date April 22, 2020 Title : TORA, Verification, Proofs and Model Checking Authors : [wpv-view name="author-view"] Conference : WiOpt ’03: Modeling and Optimization in Mobile Date: March 03 - March 05, 2003 Download Full Paper ← The Experimentation and Modeling of “Satellite-riendly” HTTP → Modeling and Control of a Magnetostrictive Actuator