Showing 1 - 3 results of 3 for search 'Yati Phyo', query time: 0.02s Refine Results
  1. 1
    Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way

    Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way by Canh Minh Do, Yati Phyo, Kazuhiro Ogata

    Published 2022-01-01
    Get full text
    Article
  2. 2
    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
  3. 3
    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: