A. Cimatti
发表
M. Roveri,
P. Svaizer,
H. Beirami,
2020
.
A. Cimatti,
P. G. Bertoli,
P. Traverso,
2000
.
M. Roveri,
P. Svaizer,
H. Beirami,
2020
.
M. Roveri,
X. Olive,
A. Cimatti,
2011,
2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology.
M. Robberto,
F. M. Zerbi,
A. Cimatti,
2009,
MOEMS-MEMS.
T. Fusco,
B. Neichel,
A. Cimatti,
2009,
0911.0729.
G. Zamorani,
L. Guzzo,
D. Maccagni,
2010
.
G. Zamorani,
S. J. Lilly,
R. Pello,
2011,
1104.5470.
P. Buschkamp,
R. Genzel,
A. Cimatti,
2009,
0902.4701.
G. Zamorani,
S. J. Lilly,
R. Pello,
2008,
0810.2245.
A. Cimatti,
A. Griggio,
A. Micheli,
.
A. Cimatti,
2008,
2008 9th International Workshop on Discrete Event Systems.
A. Martelli,
A. Cimatti,
A. Guiotto,
2008
.