A new model for model checking: cycle-weighted Kripke structure
From MaRDI portal
Publication:351985
DOI10.1007/s11704-009-0066-7zbMath1267.68148OpenAlexW2023733779MaRDI QIDQ351985
Jiaqi Zhu, Chunxiang Xu, Zhongyuan Xu, Hanpin Wang
Publication date: 4 July 2013
Published in: Frontiers of Computer Science in China (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11704-009-0066-7
Cites Work
This page was built for publication: A new model for model checking: cycle-weighted Kripke structure