Search: (more)
Header

M.Eng. Xiao Wang

email
wangxi (at) rhrk.uni-kl.de
phone
+49 631 205 3142
fax
+49 631 205 4409
address
P.O. Box 3049
67653 Kaiserslautern
Germany
building/room
48/479
research interests
formal verification
publications
all | authored | edited/supervised | talks