[LiCJPW20] Accelerated Verification of Parametric Protocols with Decision Trees Li, Y.; Cao, T.; Jansen, D. N.; Pang, J. and Wei, X. In ICCD, pages 397-404, IEEE, 2020.
Downloads: bibURL: https://doi.org/10.1109/ICCD50377.2020.00073