HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Computation Tree Logic

Publications
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification
Thitivatr Patanasakpinyo
In:Proceedings of 34th International Conference on Computers and Their Applications
Copyright © 2012-2025 easychair.org. All rights reserved.