Search: (more)
Header

M.Eng. Xian Li

email
xian.li (at) cs.uni-kl.de
was member of the group
from 10/2012 to 08/2017
left for
SAP
research interests
formal verification of hybrid systems
publications
all | authored | edited/supervised | talks