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

Hsiung, Pao-AnnPao-AnnHsiungWang, FarnFarnWangChen, Ruey-ChengRuey-ChengChenFARN WANG2020-06-042020-06-042000https://scholars.lib.ntu.edu.tw/handle/123456789/497166On the verification of Wireless Transaction Protocol using SGM and RED.conference paper10.1109/RTCSA.2000.896414https://doi.org/10.1109/RTCSA.2000.896414