Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.

Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini

Browse the full RTCSA paper archive.