A. Tiemeyer
发表
Moshe Y. Vardi,
Lenore D. Zuck,
Sela Mador-Haim,
2005,
CAV.
A. Tiemeyer,
Jin Yang,
2000,
Proceedings 37th Design Automation Conference.
Avner Landver,
Moshe Y. Vardi,
Boris Ginsburg,
2002,
TACAS.
Moshe Y. Vardi,
Roy Armoni,
Dmitry Korchemny,
2006,
FATES/RV.
Orna Grumberg,
Moshe Y. Vardi,
Roy Armoni,
2003,
CAV.
Daniel Kroening,
Thomas F. Melham,
Andreas Tiemeyer,
2019,
ArXiv.
Gila Kamhi,
Alexander Novakovsky,
Andreas Tiemeyer,
2009,
2009 46th ACM/IEEE Design Automation Conference.