Marco A. A. Sanvido
发表
Anand Kulkarni,
Marco A. A. Sanvido,
Frank R. Chu,
2008,
Proceedings of the IEEE.
Thomas A. Henzinger,
Rupak Majumdar,
Ranjit Jhala,
2003,
Verification: Theory and Practice.
Thomas A. Henzinger,
Christoph M. Kirsch,
Wolfgang Pree,
2002,
EMSOFT.
Zvonimir Bandic,
Cyril Guyot,
David R. Hall,
2010,
2010 IEEE 26th Symposium on Mass Storage Systems and Technologies (MSST).
Thomas A. Henzinger,
Christoph M. Kirsch,
Marco A. A. Sanvido,
2005,
VEE '05.
Thomas A. Henzinger,
Christoph M. Kirsch,
Arkadeb Ghosal,
2004,
HSCC.