Showing 1 - 2 results of 2 for search 'Anping He', query time: 0.01s Refine Results
  1. 1
    Formal Proof of a Machine Closed Theorem in Coq

    Formal Proof of a Machine Closed Theorem in Coq by Hai Wan, Anping He, Zhiyang You, Xibin Zhao

    Published 2014-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Automata-Based Analysis of Stage Suspended Boom Systems

    Automata-Based Analysis of Stage Suspended Boom Systems by Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: