Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata 0001. A Layered and Parallelized Method of Eventual Model Checking. Information, 14(7):384, 2023. [doi]
@article{PhyoAD023,
title = {A Layered and Parallelized Method of Eventual Model Checking},
author = {Yati Phyo and Moe Nandi Aung and Canh Minh Do and Kazuhiro Ogata 0001},
year = {2023},
doi = {10.3390/info14070384},
url = {https://doi.org/10.3390/info14070384},
researchr = {https://researchr.org/publication/PhyoAD023},
cites = {0},
citedby = {0},
journal = {Information},
volume = {14},
number = {7},
pages = {384},
}