Verification of an audio control protocol (1994)

by D Bosscher, I Polak, F Vaandrager