Fuxing Shen

Publication Activity (10 Years)

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

Publications

Guoxing Zhao, Jixin Ma, Fuxing Shen, Miltos Petridis
A Sound and Complete Reified Temporal Logic. SNPD (2008)