2021 8th NAFOSTED Conference on Information and Computer Science (NICS) Information and Computer Science (NICS), 2021 8th NAFOSTED Conference on. :71-76 Dec, 2021
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and High Performance Computational Systems Biology, Second International Workshop on. :78-87 Sep, 2010