Y. Kesten

发表

Amir Pnueli, Amit Klein, Yonit Kesten, 1999 .
Z. Manna, A. Pnueli, Y. Kesten, 1994 .
Amir Pnueli, Elad Shahar, Li-on Raviv, 2006, Formal Methods Syst. Des..
Amir Pnueli, Yonit Kesten, A. Pnueli, 2002, CONCUR.
Amir Pnueli, Li-on Raviv, Yonit Kesten, 1998, ICALP.
Amir Pnueli, Yonit Kesten, A. Pnueli, 2000, Inf. Comput..
Amir Pnueli, Lenore D. Zuck, Elad Shahar, 2002, CONCUR.
Amir Pnueli, Oded Maler, Elad Shahar, 2001, Theor. Comput. Sci..
Amir Pnueli, Yonit Kesten, A. Pnueli, 2000, International Journal on Software Tools for Technology Transfer.
Amir Pnueli, Yonit Kesten, A. Pnueli, 1998, MFCS.
Amir Pnueli, Oded Maler, Elad Shahar, 1997, CAV.
A. Pnueli, O. Maler, A. Pnueli, 2022 .
Zohar Manna, Amir Pnueli, Yonit Kesten, 1993, REX School/Symposium.
Amir Pnueli, Lenore D. Zuck, Yonit Kesten, 2002, VMCAI.
Amir Pnueli, Moshe Y. Vardi, Yonit Kesten, 2001, J. Comput. Syst. Sci..
Amir Pnueli, Yonit Kesten, A. Pnueli, 1999, CSL.
Amir Pnueli, Yonit Kesten, A. Pnueli, 1992, FTRTFT.
Amir Pnueli, Amit Klein, Yonit Kesten, 1999, World Congress on Formal Methods.
Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1992, Hybrid Systems.
Joseph Sifakis, Amir Pnueli, Sergio Yovine, 1999, Inf. Comput..
Amir Pnueli, Yonit Kesten, A. Pnueli, 2002, J. Log. Comput..
Zohar Manna, Amir Pnueli, Hugh McGuire, 1993, CAV.