The following pages link to Francesco Spegni (Q1635828):
Displaying 5 items.
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- Parameterized Model Checking of Rendezvous Systems (Q3190112) (← links)
- Liveness of Parameterized Timed Networks (Q3449490) (← links)
- A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage (Q5194927) (← links)