Verification of an audio protocol with bus collision using uppaal (1996)

by J Bengtsson, W Griffioen, K Kristoffersen, K Larsen, F Larsson, P Pettersson, W Yi
Venue:Proceedings of the 8th International Conferenc in Computer Aided Verification, CAV ’96, number 1102 in LNCS