Jensen, Henrik Ejersbo
-
BRICS Report Series No. 24 (1996): RS-24 Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL - Articles
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
Abstract PDF