Research
Publications
Academic Resources
Software Tools
People
Contact
Yongjian Li
Latest
A local search approach to protocol verification
Cite
×