Verification of an audio control protocol (1994)

by D Bosscher, I Polak, F W Vaandrager
Venue:In Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems