A local search approach to protocol verification

Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao
January 2024
PDF DOI
Type
Conference paper
Publication
Theoretical Computer Science
Conf