Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL (1996)

by Henrik Ejersbo Jensen , Kim G. Larsen , Henrik Ejersbo , Jensen Kim , G. Larsen , Arne Skou , Arne Skou
Citations:23 - 6 self