Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.

Jay Thakkar, Aditya Kanade, Rajeev Alur

Browse the full FORTE paper archive.