Jensen, Henrik Ejersbo, Kim G. Larsen, og Arne Skou. “Modelling and Analysis of a Collision Avoidance Protocol Using SPIN and UPPAAL”. BRICS Report Series 3, no. 24 (januar 24, 1996). Set september 18, 2024. https://tidsskrift.dk/brics/article/view/20005.