Kunliang Han

Publication Activity (10 Years)

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

Publications

Xia Yin, Qingguo Xu, Kunliang Han
Modeling Predicate Abstraction of Timed Automata in PVS. iThings/CPSCom (2011)