Chaochen Zhou

发表

Chaochen Zhou, 1982, AFIPS '82.
C. A. R. Hoare, Chaochen Zhou, 1992, Formal Methods Syst. Des..
Chaochen Zhou, 1987, Temporal Logic in Specification.
Chaochen Zhou, Bican Xia, Lu Yang, 2005, VSTTE.
Anders P. Ravn, Hans Rischel, Michael R. Hansen, 1992, FTRTFT.
Michael R. Hansen, Chaochen Zhou, C. Zhou, 1991, REX Workshop.
Chaochen Zhou, Lu Yang, Hongguang Fu, 1998, J. Field Robotics.
C. A. R. Hoare, Anders P. Ravn, Chaochen Zhou, 1991, Inf. Process. Lett..
Anders P. Ravn, Michael R. Hansen, Chaochen Zhou, 1992, Hybrid Systems.
Chaochen Zhou, Liang Zou, Naijun Zhan, 2010, APLAS.
Chaochen Zhou, 1993, Formal Methods in Programming and Their Applications.
Michael R. Hansen, Chaochen Zhou, C. Zhou, 2004, Monographs in Theoretical Computer Science An EATCS Series.
Chaochen Zhou, Xiaoshan Li, Dang Van Hung, 1995, FCT.
Chaochen Zhou, Xinxin Liu, 2008, Journal of Computer Science and Technology.
Michael R. Hansen, Chaochen Zhou, Peter Sestoft, 1993, STACS.
Chaochen Zhou, 1994, FTRTFT.
Chaochen Zhou, 2008, Journal of Computer Science and Technology.
Ji Wang, Chaochen Zhou, Xinyao Yu, 1994, FTRTFT.
Michael R. Hansen, Chaochen Zhou, C. Zhou, 1997, COMPOS.
Michael R. Hansen, Chaochen Zhou, C. Zhou, 1997, Formal Aspects of Computing.
Michael R. Hansen, Chaochen Zhou, M. R. Hansen, 1990, MFCS.
Anders P. Ravn, Chaochen Zhou, Ji Wang, 1996, Hybrid Systems.
Michael R. Hansen, Chaochen Zhou, Paritosh K. Pandya, 1995, Theor. Comput. Sci..
Chaochen Zhou, Naijun Zhan, Shuling Wang, 2013, FACS.
Chaochen Zhou, Bican Xia, Lu Yang, 2009, Frontiers of Computer Science in China.
Chaochen Zhou, Chaochen Zhou, 1998, AMAST.
Chaochen Zhou, 2002, 10th Anniversary Colloquium of UNU/IIST.
Anders P. Ravn, Hans Rischel, Chaochen Zhou, 1992, Fourth Euromicro workshop on Real-Time Systems.
Chaochen Zhou, Yinghua Chen, Bican Xia, 2007, ICTAC.
Chaochen Zhou, Suman Roy, Rana Barua, 2000, J. Log. Comput..
Chaochen Zhou, Weidong He, C. Zhou, 1995, Comput. J..
Chaochen Zhou, Suman Roy, Rana Barua, 1999, STACS.
Chaochen Zhou, Dang Van Hung, D. Hung, 1999, Formal Aspects of Computing.
Anders P. Ravn, Chaochen Zhou, Zhiming Liu, 1992 .