Name Card

Full name Familienname, Vorname
Spegni, Francesco
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian Liveness of Parameterized Timed NetworksKonferenzbeitrag Inproceedings 2015
2Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
3Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsKonferenzbeitrag Inproceedings 2014