On the verification of Wireless Transaction Protocol using SGM and RED.

Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen

Browse the full RTCSA paper archive.