Chaochen Zhou

发表

C. A. R. Hoare, Anders P. Ravn, Chaochen Zhou, 1991, Inf. Process. Lett..

Michael R. Hansen, Zhou Chaochen, Zhou Chaochen, 1996 .

Michael R. Hansen, Chaochen Zhou, Paritosh K. Pandya, 1995, Theor. Comput. Sci..

Michael R. Hansen, Chaochen Zhou, Peter Sestoft, 1993, STACS.

Anders P. Ravn, Hans Rischel, Michael R. Hansen, 1992, FTRTFT.

Michael R. Hansen, Chaochen Zhou, C. Zhou, 1991, REX Workshop.

Michael R. Hansen, Chaochen Zhou, M. R. Hansen, 1990, MFCS.

Amir Pnueli, Zhou Chaochen, Hans Langmaack, 1998 .

Chaochen Zhou, Chaochen Zhou, 1998, AMAST.

A. Nerode, A. Ravn, H. Rischel, 1993 .

Michael R. Hansen, Zhou Chaochen, Jørgen Staunstrup, 1992 .

Chaochen Zhou, Naijun Zhan, Shuling Wang, 2013, FACS.

Chaochen Zhou, Dang Van Hung, D. Hung, 1999, Formal Aspects of Computing.

Chaochen Zhou, Xiaoshan Li, Dang Van Hung, 1995, FCT.

Ji Wang, Chaochen Zhou, Xinyao Yu, 1994, FTRTFT.

Michael R. Hansen, Chaochen Zhou, C. Zhou, 1997, Formal Aspects of Computing.

Anders P. Ravn, Hans Rischel, Chaochen Zhou, 1992, Fourth Euromicro workshop on Real-Time Systems.

Michael R. Hansen, Chaochen Zhou, C. Zhou, 2004, Monographs in Theoretical Computer Science An EATCS Series.

Chaochen Zhou, Suman Roy, Rana Barua, 1999, STACS.

Anders P. Ravn, Chaochen Zhou, Ji Wang, 1996, Hybrid Systems.