Formal Verfication of a Protocol for Communications over Faulty Channels.

Boutheina Chetali, Pierre Lescanne

Browse the full FORTE paper archive.