Search

Research
Publications
Academic Resources
Software Tools
People
Contact

A local search approach to protocol verification

Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao

January 2024

Type

Publication

Theoretical Computer Science

Journal

© 2025 中国科学院软件研究所基础软件与系统重点实验室约束求解研究室

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite