Back to Search
Start Over
An Improved POCTL Model Checking Algorithm Based on Preprocess Mechanism
- Source :
- DEStech Transactions on Computer Science and Engineering.
- Publication Year :
- 2017
- Publisher :
- DEStech Publications, 2017.
- Subjects :
- Model checking
Computer science
Algorithm
Mechanism (sociology)
Subjects
Details
- ISSN :
- 24758841
- Database :
- OpenAIRE
- Journal :
- DEStech Transactions on Computer Science and Engineering
- Accession number :
- edsair.doi...........744b4f2532e46c1dbd757bf24e35dbef
- Full Text :
- https://doi.org/10.12783/dtcse/cst2017/12490