Login / Signup
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol.
Parosh Aziz Abdulla
Aurore Annichini
Ahmed Bouajjani
Published in:
TACAS (1999)
Keyphrases
</>
protocol specification
distributed systems
computer systems
formal analysis