Accelerated Verification of Parametric Protocols with Decision Trees. - Yongjian Li; Taifeng Cao; David N. Jansen; Jun Pang 001; Xiaotao Wei (ICCD, 2020)