Showing 1 - 1 results of 1 for search 'Tun Li', 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:

Search Tools: