Showing 1 - 3 results of 3 for search 'Xibin Zhao', 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:
  3. 3
    Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing

    Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing by Zhen Cheng, Dechen Zhan, Xibin Zhao, Hai Wan

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

Search Tools: