Ferruccio Zulian

According to our database, Ferruccio Zulian authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian

Proceedings of the Formal Description Techniques IX: Theory, 1996