Bohua Zhan
发表
Bohua Zhan,
Bohua Zhan,
2016,
TACAS.
Bohua Zhan,
2019,
ArXiv.
Bohua Zhan,
2018,
Journal of Automated Reasoning.
Bohua Zhan,
Miaomiao Zhang,
Naijun Zhan,
2020,
TACAS.
Bohua Zhan,
Tao Liu,
Junyi Liu,
2019,
Arch. Formal Proofs.
Bohua Zhan,
Bai Xue,
Naijun Zhan,
2020,
ICFEM.
Bohua Zhan,
Maximilian P. L. Haslbeck,
2018,
IJCAR.
Bohua Zhan,
Bohua Zhan,
2017,
Journal of Automated Reasoning.
Bohua Zhan,
Fabian Immler,
2019,
CPP.
Bohua Zhan,
Wenfan Zhou,
Wenhui Sun,
2019,
ICFEM.
Bohua Zhan,
Deepak Kapur,
Naijun Zhan,
2019,
CADE.
Bohua Zhan,
Tao Liu,
Junyi Liu,
2019,
CAV.
Bohua Zhan,
2010
.
Bohua Zhan,
2018,
Arch. Formal Proofs.
Bohua Zhan,
2018,
Arch. Formal Proofs.
Bohua Zhan,
Shuling Wang,
Bin Gu,
2020,
Journal of Computer Science and Technology.
Bohua Zhan,
Avinatan Hassidim,
Shelby Kimmel,
2011,
ITCS '12.
Bohua Zhan,
2016,
ArXiv.
Bohua Zhan,
2016,
ITP.
Bohua Zhan,
Naijun Zhan,
Shuling Wang,
2019,
ARCH@CPSIoTWeek.
Bohua Zhan,
Fabian Immler,
Bohua Zhan,
2021,
Arch. Formal Proofs.
Bohua Zhan,
Jean-Pierre Talpin,
Naijun Zhan,
2021,
Theor. Comput. Sci..
Bohua Zhan,
David N. Jansen,
Xuechao Sun,
2021,
FM.
Bohua Zhan,
Naijun Zhan,
Miaomiao Zhang,
2021,
Science China Information Sciences.
Bohua Zhan,
Naijun Zhan,
Stefan Mitsch,
2021,
ARCH@ADHS.
Bohua Zhan,
Naijun Zhan,
Miaomiao Zhang,
2021,
ACM Trans. Embed. Comput. Syst..
Bohua Zhan,
Naijun Zhan,
Miaomiao Zhang,
2021,
Formal Aspects of Computing.
Bohua Zhan,
Bai Xue,
Naijun Zhan,
2021,
2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Bohua Zhan,
Xiong Xu,
Shuling Wang,
2022,
SETTA.
Bohua Zhan,
Runqing Xu,
Liming Li,
2021,
CADE.