Yina Xue

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Concurrent Systems

Image Sequences

Face Verification

Top Venues

Publications

Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue
Runtime Verification Monitor Construction for Three-valued PPTL. SOFL+MSVL (2016)