Assertional Verification of a Timer Based Protocol.

Gerard Tel

Browse the full ICALP paper archive.