Tiegeng Luo

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi
Verifying automata specification of distributed probabilistic real-time systems. J. Comput. Sci. Technol. 13 (6) (1998)