2006
A Blocking-based Approach to Protocol Validation.
[DOI]
Qizhi Ye
,
Yu Lei
,
David Chenho Kung
Comput. J., 2006