G. Bandini

According to our database, G. Bandini authored at least 2 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

Application of Parametric Model Checking - The Root Contention Protocol.

G. Bandini, Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

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

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

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000