Practical Considerations in Protocol Verification: The E-2C Case Study.

Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White

Browse the full ICECCS paper archive.