Automated Formal Verification of Protocols.

Dimiter R. Avresky, Spyridon Vassilaras

Browse the full ICCCN paper archive.