Travelled to:
1 × Switzerland
Collaborated with:
∅
Talks about:
analysi (1) state (1) space (1) petri (1) cloud (1) net (1)
Person: Matteo Camilli
DBLP: Camilli:Matteo
Contributed to:
Wrote 1 papers:
- ICSE-2012-Camilli #analysis #in the cloud #petri net
- Petri nets state space analysis in the cloud (MC), pp. 1638–1640.