Old Web
English
Sign In
Acemap
>
authorDetail
>
Xiaoshuai Yuan
Xiaoshuai Yuan
Xidian University
projection temporal logic
Data mining
Computer science
Temporal logic
specification mining
1
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Temporal logic specification mining of programs
2021
Theoretical Computer Science
Nan Zhang
Bin Yu
Cong Tian
Zhenhua Duan
Xiaoshuai Yuan
Show All
Source
Cite
Save
Citations (2)
1