This page shows all presentations of this author published in EasyChair Smart Slide.
Symbolic Register Automata
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino and Alexandra Silva