EasyChair Smart SlideUser guide
Author: Alexandra Silva

This page shows all presentations of this author published in EasyChair Smart Slide.

Symbolic Register Automata

Symbolic Register Automata

Loris D'Antoni, Tiago Ferreira, Matteo Sammartino and Alexandra Silva

SDN-Actors: Modeling and Verification of SDN Programs

SDN-Actors: Modeling and Verification of SDN Programs

Elvira Albert, Miguel Gomez-Zamalloa, Albert Rubio, Matteo Sammartino and Alexandra Silva

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair