Model Checking
What is Following?
Following Marco's work means that, in your Academia.edu News Feed, you will see Marco's:
- status updates
- new papers
- new research interests
and other research updates.
Marco Montali
What is Following?
Following Dejan's work means that, in your Academia.edu News Feed, you will see Dejan's:
- status updates
- new papers
- new research interests
and other research updates.
Dejan Jovanović
What is Following?
Following Nuno's work means that, in your Academia.edu News Feed, you will see Nuno's:
- status updates
- new papers
- new research interests
and other research updates.
Nuno Mendes
What is Following?
Following Elthon's work means that, in your Academia.edu News Feed, you will see Elthon's:
- status updates
- new papers
- new research interests
and other research updates.
Elthon Oliveira
What is Following?
Following Emanuele's work means that, in your Academia.edu News Feed, you will see Emanuele's:
- status updates
- new papers
- new research interests
and other research updates.
Emanuele D'Osualdo
What is Following?
Following Andrea's work means that, in your Academia.edu News Feed, you will see Andrea's:
- status updates
- new papers
- new research interests
and other research updates.
Andrea Vandin
IMT Lucca
PhD Student in Computer Science and Engineering
Computer Science and Applications (CSA) Department
What is Following?
Following Nataliia's work means that, in your Academia.edu News Feed, you will see Nataliia's:
- status updates
- new papers
- new research interests
and other research updates.
Nataliia Bielova
What is Following?
Following Franco's work means that, in your Academia.edu News Feed, you will see Franco's:
- status updates
- new papers
- new research interests
and other research updates.
Franco Raimondi
What is Following?
Following Lucian's work means that, in your Academia.edu News Feed, you will see Lucian's:
- status updates
- new papers
- new research interests
and other research updates.
Lucian Bentea
What is Following?
Following Richard's work means that, in your Academia.edu News Feed, you will see Richard's:
- status updates
- new papers
- new research interests
and other research updates.
Richard Philip
What is Following?
Following David's work means that, in your Academia.edu News Feed, you will see David's:
- status updates
- new papers
- new research interests
and other research updates.
David Sanán
What is Following?
Following Alessandro's work means that, in your Academia.edu News Feed, you will see Alessandro's:
- status updates
- new papers
- new research interests
and other research updates.
Alessandro Bruni
What is Following?
Following Gurvan's work means that, in your Academia.edu News Feed, you will see Gurvan's:
- status updates
- new papers
- new research interests
and other research updates.
Gurvan Le Guernic
What is Following?
Following Pedro Tiago's work means that, in your Academia.edu News Feed, you will see Pedro Tiago's:
- status updates
- new papers
- new research interests
and other research updates.
Pedro Tiago Monteiro
What is Following?
Following Antonios's work means that, in your Academia.edu News Feed, you will see Antonios's:
- status updates
- new papers
- new research interests
and other research updates.
Antonios Gouglidis
What is Following?
Following Francesco's work means that, in your Academia.edu News Feed, you will see Francesco's:
- status updates
- new papers
- new research interests
and other research updates.
Francesco Spegni
What is Following?
Following Árni Hermann's work means that, in your Academia.edu News Feed, you will see Árni Hermann's:
- status updates
- new papers
- new research interests
and other research updates.
Árni Hermann Reynisson
What is Following?
Following Carlo Alberto's work means that, in your Academia.edu News Feed, you will see Carlo Alberto's:
- status updates
- new papers
- new research interests
and other research updates.
Carlo Alberto Furia
What is Following?
Following Jaime Eduardo's work means that, in your Academia.edu News Feed, you will see Jaime Eduardo's:
- status updates
- new papers
- new research interests
and other research updates.
Jaime Eduardo Arias Almeida
What is Following?
Following Jelena's work means that, in your Academia.edu News Feed, you will see Jelena's:
- status updates
- new papers
- new research interests
and other research updates.
Jelena Marincic
What is Following?
Following Fernando's work means that, in your Academia.edu News Feed, you will see Fernando's:
- status updates
- new papers
- new research interests
and other research updates.
Fernando Braz
What is Following?
Following Mads's work means that, in your Academia.edu News Feed, you will see Mads's:
- status updates
- new papers
- new research interests
and other research updates.
Mads Chr. Olesen
What is Following?
Following Yu's work means that, in your Academia.edu News Feed, you will see Yu's:
- status updates
- new papers
- new research interests
and other research updates.
Yu Bai
What is Following?
Following Kirsten's work means that, in your Academia.edu News Feed, you will see Kirsten's:
- status updates
- new papers
- new research interests
and other research updates.

















