@inproceedings{bgkllpw:cav96, author = {Johan Bengtsson and W.O.~David Griffioen and K{\aa}re J.~Kristoffersen and Kim G.~Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi}, title = {{Verification of an Audio Protocol with Bus Collision Using {\sc Uppaal}}}, editor = {Rajeev Alur and Thomas A. Henzinger}, booktitle = CAV96, series = LNCS, publisher = {Springer--Verlag}, number = 1102, pages = {244--256}, year = 1996, month = Jul, URL = "http://www.docs.uu.se/docs/rtmv/papers/bgkllpw:cav96.ps.gz", URLabstract = "http://www.docs.uu.se/docs/rtmv/abstr/bgkllpw:cav96.ps.gz" }