A. Cohen
发表
M. S. Mayzner,
M. E. Tresselt,
K. Schoenberg,
1966
.
Kedar S. Namjoshi,
Yaniv Sa'ar,
Ariel Cohen,
2010,
CAV.
Kedar S. Namjoshi,
Lenore D. Zuck,
Yaniv Sa'ar,
2010,
Haifa Verification Conference.
Kedar S. Namjoshi,
Ariel Cohen,
K. Namjoshi,
2008,
CAV.
Amir Pnueli,
Ariel Cohen,
Ittai Balaban,
2006,
VMCAI.
Kedar S. Namjoshi,
Ariel Cohen,
K. Namjoshi,
2007,
Formal Methods Syst. Des..
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008,
CAV.
Amir Pnueli,
Mark R. Tuttle,
Lenore D. Zuck,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008
.
Amir Pnueli,
Lenore D. Zuck,
Ariel Cohen,
2008
.
Ron van der Meyden,
Lenore D. Zuck,
Ariel Cohen,
2009,
Formal Aspects in Security and Trust.
M. S. Mayzner,
M. E. Tresselt,
M. S. Mayzner,
1966
.