Verification of an Audio Protocol with Bus Collision Using UPPAAL (1996)

Cached

Download Links

by Johan Bengtsson , W. O. David Griffioen , Kåre J. Kristoffersen , Kim G. Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi
Citations:57 - 24 self