Xiaoqun Du

发表

Robert P. Kurshan, Kenneth L. McMillan, Nina Amla, 2005, CHARME.
Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 1999, International Journal on Software Tools for Technology Transfer.
C. R. Ramakrishnan, I. V. Ramakrishnan, V. N. Venkatakrishnan, 2000, CAV.
Scott A. Smolka, Y. S. Ramakrishna, Kevin T. McDonnell, 1997, AMAST.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, PLILP/ALP.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1999, TACAS.
C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Proceedings 21st IEEE Real-Time Systems Symposium.
C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Electron. Notes Theor. Comput. Sci..
Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 2000, COORDINATION.