Showing 1 - 2 results of 2 for search 'Moe Nandi Aung', query time: 0.02s Refine Results
  1. 1
    A Layered and Parallelized Method of Eventual Model Checking

    A Layered and Parallelized Method of Eventual Model Checking by Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata

    Published 2023-07-01
    Get full text
    Article
  2. 2
    A Divide and Conquer Approach to Eventual Model Checking

    A Divide and Conquer Approach to Eventual Model Checking by Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata

    Published 2021-02-01
    Get full text
    Article

Search Tools: