Automated Analysis of an Audio Control Protocol.

Pei-Hsin Ho, Howard Wong-Toi

Browse the full CAV paper archive.