Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. Verification of an Audio Protocol with Bus Collision Using UPPAAL. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 244-256, Springer, 1996.
@inproceedings{BengtssonGKLLPY96,
title = {Verification of an Audio Protocol with Bus Collision Using UPPAAL},
author = {Johan Bengtsson and W. O. David Griffioen and Kåre J. Kristoffersen and Kim Guldstrand Larsen and Fredrik Larsson and Paul Pettersson and Wang Yi},
year = {1996},
tags = {protocol},
researchr = {https://researchr.org/publication/BengtssonGKLLPY96},
cites = {0},
citedby = {0},
pages = {244-256},
booktitle = {Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
editor = {Rajeev Alur and Thomas A. Henzinger},
volume = {1102},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61474-5},
}