C. Tibaldi

According to our database, C. Tibaldi authored at least 1 paper in 2006.

Collaborative distances:

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

2006

On the verification of automotive protocols.

G. Zarri, Federico Colucci, F. Dupuis, Riccardo Mariani, Mario Pasquariello, G. Risaliti, C. Tibaldi

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006