PENG, Jian-xi
-
2nd International Conference on Computer Science and Technology (CST 2017) - SESSION 1: ALGORITHMS AND DATA STRUCTURES
An Improved POCTL Model Checking Algorithm Based on Preprocess Mechanism
Abstract
ISSN: 2475-8841
DEStech Transactions on