Yvonne Murray

Questo documento parla di come migliorare la sincronizzazione dei robot saldatori usando il model checking.