G. Bandini

Publication Activity (10 Years)

Years Active: 2000-2001
Publications (10 Years): 0

Publications

G. Bandini, R. F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel
Application of Parametric Model Checking - The Root Contention Protocol. HICSS (2001)
Hans Toetenel, R. F. Lutje Spelberg, G. Bandini
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. RTCSA (2000)