Showing 1 - 2 results of 2 for search 'Zhiyang You', query time: 0.01s Refine Results
  1. 1
    A Novel Two-Terminal Reliability Analysis for MANET

    A Novel Two-Terminal Reliability Analysis for MANET by Xibin Zhao, Zhiyang You, Hai Wan

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    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:

Search Tools: