Protocol Trace Analysis Based on Formal Specifications.

Myungchul Kim, Samuel T. Chanson, Son T. Vuong

Browse the full FORTE paper archive.