Verification of an Audio Protocol with Bus Collision Using UPPAAL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Johan Bengtsson' in GoogleThis author has not been identified. Look up 'W. O. David Griffioen' in GoogleThis author has not been identified. Look up 'Kåre J. Kristoffersen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Fredrik Larsson' in GoogleThis author has not been identified. Look up 'Paul Pettersson' in GoogleThis author has not been identified. Look up 'Wang Yi' in Google

runs on WebDSL