Assertional Verification of a Connection Management Protocol.

Andrs L. Olh, Sonia M. Heemstra de Groot

Browse the full FORTE paper archive.