Verification of an audio control protocol (1994)

by D Bosscher, I Polak, F Vaandrager
Venue:In Proc. FTRTFT'94, LNCS 863