Yongjian Li, Taifeng Cao, David N. Jansen (), Jun Pang, Xiaotao Wei: Accelerated Verification of Parametric Protocols with Decision Trees. In 38th IEEE International Conference on Computer Design, ICCD 2020, Hartford, CT, USA, October 18-21, 2020, pages 397-404, 2020. DOIBIB