Showing 1 - 1 results of 1 for search 'Laixiang Shan', query time: 0.01s Refine Results
  1. 1
    Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation

    Degeneralization Algorithm for Generation of Büchi Automata Based on Contented Situation by Laixiang Shan, Jun Qin, Mingshi Chen, Zheng Qin

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

Search Tools: