Travelled to:
1 × Japan
Collaborated with:
B.Aminof S.Rubin F.Zuleger
Talks about:
parameter (1) network (1) time (1) live (1)
Person: Francesco Spegni
DBLP: Spegni:Francesco
Contributed to:
Wrote 1 papers:
- ICALP-v2-2015-AminofRZS #liveness #network
- Liveness of Parameterized Timed Networks (BA, SR, FZ, FS), pp. 375–387.