On-the-Fly Model Checking of Fair Non-repudiation Protocols.

Guoqiang Li, Mizuhito Ogawa

Browse the full ATVA paper archive.