On the verification of automotive protocols.

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

Browse the full DATE paper archive.