Verification of a wireless ATM medium-access protocol.

Natalia Sidorova, Martin Steffen

Browse the full APSEC paper archive.