@inproceedings{LCJ20,
  author        = {Y. Li and T. Cao and D. Jansen and J. Pang and X. Wei},
  title         = {Accelerated verification of parametric protocols with decision trees},
  booktitle     = {Proc.\ 38th IEEE International Conference on Computer Design (ICCD'20)},
  publisher     = {IEEE Computer Society},
  year          = {2020},
  pages         = {397-404}
}