Verification of an Audio Protocol with Bus Collision Using UPPAAL.

Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Browse the full CAV paper archive.