A. Tomasi
发表
A. Tomasi,
2007
.
Fausto Giunchiglia,
R. Sebastiani,
A. Tomasi,
2001,
International Conference on Tools and Algorithms for Construction and Analysis of Systems.
A. Tomasi,
G. Teschner,
2009
.
A. Tomasi,
2008
.
A. Tomasi,
2007
.
A. Tomasi,
2013
.
Alessandro Tomasi,
A. Tomasi,
2008
.
Laura Ricci,
Gigliola Vaglini,
F. Baiardi,
1986
.