Showing 1 - 2 results of 2 for search 'Xiaoguang Mao', query time: 0.01s Refine Results
  1. 1
    Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives

    Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives by Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang

    Published 2013-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Counterexample-Preserving Reduction for Symbolic Model Checking

    Counterexample-Preserving Reduction for Symbolic Model Checking by Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao

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

Search Tools: