Xinya Ning

Publication Activity (10 Years)

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

Top Topics

Knowledge Discovery

Formal Verification

Provably Correct

Data Mining Tasks

Top Venues

Theor. Comput. Sci.

Publications

Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian
PPTL specification mining based on LNFG. Theor. Comput. Sci. 937 (2022)