Verification of an audio protocol with bus collision using UPPAAL (0)

by J Bengtsson, D Griitioen, K Kristoffersen, K G Larsen, F Larsson, P Petters- son, W Yi
Venue:Proc. of CATE'96, LNCS 1102