CALZOLAI, FRANCESCO
CALZOLAI, FRANCESCO
SISTEMI E INFORMATICA (attivo dal 01/08/1980 al 31/12/2012)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Simulation and analysis of distributed systems in Klaim | 2010 | Francesco Calzolai; Michele Loreti | |
TAPAs: A Tool for the Analysis of Process Algebras | 2008 | Francesco Calzolai; Rocco De Nicola; Michele Loreti; Francesco Tiezzi |