Yuefeng Tang

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 1

Top Topics

Calculation Method

Marine Power Plant

Top Venues

Publications

Ning Wang, Yuefeng Tang, Xiangqian Liu
Calculation Method on Tracking Interval of Magnetic Levitation Train. ISCID (2) (2018)
Christopher Lynch, Yuefeng Tang
Rewriting Interpolants. Electron. Notes Theor. Comput. Sci. 212 (2008)
Christopher Lynch, Yuefeng Tang
Interpolants for Linear Arithmetic in SMT. ATVA (2008)