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

@inproceedings{Toetenel2000ParametricVO,
  title={Parametric verification of the IEEE 1394a Root Contention protocol using LPMC},
  author={Hans Toetenel and R. F. Lutje Spelberg and G. Bandini},
  booktitle={RTCSA},
  year={2000}
}