Statistics
Publications
11
Citations
374
H-Index
11
Active since
2005
Affiliations
Li Tan is an author at Washington State University specializing in precision agriculture, agriculture, and viral genomics.
Publications per year
2005–2023
11
11
Specification-based testing with linear temporal logic
Li Tan, Oleg Sokolsky, Insup Lee · 2005 · 84 citations · Full text
1–5 of 11