MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Li Tan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 23 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Evidence-Based Model Checking  
  • by Li Tan, Rance Cleaveland — 2002 — In Computer-Aided Verification
  • …Evidence-Based Model Checking # Li Tan and Rance Cleaveland Department of Computer Science State…
  • Cited by 26 (3 self) – Add To MetaCart
  • Simulation Revisited  
  • by Li Tan, Rance Cleaveland — 2001 — In In Proc. 7th Intern. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’01), LNCS 2031
  • …Simulation Revisited Li Tan and Rance Cleaveland Department of Computer Science State University…
  • Cited by 8 (0 self) – Add To MetaCart
  • Navigation Templates for PSA  
  • by Li Tan, David P. Miller — 2002 — In Proceedings of the First International NAISO Conference on Autonomous Intelligent Systems
  • … done for the PSA 2D simulator. This prototype PSA robot floats over Navigation Templates for PSA Li Tan…
  • Cited by 1 (1 self) – Add To MetaCart
  • unknown title  
  • by Sc Hema, For Equiv, Chec Games, Li Tan, Outline Motiv
  • … '& $% An Abstract Sc hema for Equiv alence Chec king Games Li Tan Computer Science Departmen…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB