Carlo Bellettini
Identifiers
- name variant Carlo Bellettini 0.60 · backfill
Papers (3)
- Distributed CTL Model Checking in the Cloud cs.SE · 2013 · author #1
- State Space Exploration of RT Systems in the Cloud cs.SE · 2012 · author #1
- Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach cs.SE · 2011 · author #1
Mentions
Frequent Coauthors
- Lorenzo Capra 3 shared papers
- Matteo Camilli 2 shared papers
- Mattia Monga 2 shared papers