Yi Fang
发表
Shaokun Liu,
Yi Fang,
Yi Fang,
2012,
2012 International Symposium on Instrumentation & Measurement, Sensor Network and Automation (IMSNA).
Amir Pnueli,
Lenore D. Zuck,
Nir Piterman,
2006
.
Amir Pnueli,
Lenore D. Zuck,
Nir Piterman,
2004,
VMCAI.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2005,
CAV.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2002,
COCV@ETAPS.
Amir Pnueli,
Lenore D. Zuck,
Nir Piterman,
2004,
TACAS.
Lenore D. Zuck,
Yi Fang,
2007,
Electron. Notes Theor. Comput. Sci..
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2002,
RV@FLoC.
Amir Pnueli,
Lenore D. Zuck,
Yi Fang,
2005,
CAV.
Yi Fang,
Jiangning Yang,
Buwen Yin,
2011,
2011 Third Pacific-Asia Conference on Circuits, Communications and System (PACCS).
Amir Pnueli,
Kenneth L. McMillan,
Lenore D. Zuck,
2006,
FORTE.
Amir Pnueli,
Benjamin Goldberg,
Lenore D. Zuck,
2005,
Formal Methods Syst. Des..
Shaokun Liu,
Yi Fang,
Lina Yu,
2012,
EMEIT 2012.
Edward K. Wong,
Yi Fang,
Xiang Li,
2019,
Advances in Intelligent Systems and Computing.