MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Zhiming Liu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 30 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Tools for formal software engineering  
  • by Zhiming Liu, R. Venkatesh — 2005 — In Proc of IFIP Working Conference on Program Verifier Challenge
  • …Tools for Formal Software Engineering Zhiming Liu 1 and R. Venkatesh 2 1 International Institute…
  • Cited by 1 (1 self) – Add To MetaCart
  • Verification of Fault-Tolerance and Real-Time  
  • by Zhiming Liu, Mathai Joseph — 1996 — In Proceedings of the 26th Annual International Symposium on Fault-Tolerant Computing
  • …Verification of Fault-Tolerance and Real-Time Zhiming Liu Department of Maths & Computer Science…
  • Cited by 5 (4 self) – Add To MetaCart
  • Verification of Fault-Tolerance and Real-Time  
  • by Zhiming Liu Department, Zhiming Liu, Mathai Joseph — 1996 — In Proceedings of the 26th Annual International Symposium on Fault-Tolerant Computing
  • …Verification of Fault-Tolerance and Real-Time Zhiming Liu Department of Maths & Computer Science…
  • Add To MetaCart
  • Unifying Views of UML  
  • by Zhiming Liu, He Jifeng, Xiaoshan Li, Jing Liu — 2003
  • … Views of UML Zhiming Liu, He Jifeng, Xiaoshan Li and Jing Liu October 2003 UNU/IIST and UNU…
  • Cited by 11 (6 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB