Publication

[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: bib