×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of francesco-spegni
LA VITA, Un Dono Prezioso
399 views
Git - May the source be with you - A tutorial
313 views
Parameterized Model Checking for Timed Systems with Conjunctive Guards
255 views
Parameterized Model Checking of Rendezvous Systems
86 views
Compositionality and Limitations
257 views