首页 / 资料库 / 文献详情
Bounded Model Checking for Branching-Time Temporal Logic
Zhou、Conghua、Tao Tao、Zhihong、Ding、Decheng、Wang、Lifu
2006Acta Scientiarum Naturalium Universitatis SunyatseniComputer Science被引 8
摘要
该文献暂无收录摘要。
引用本文（GB/T 7714）
Zhou, Conghua, Tao Tao, 等. Bounded Model Checking for Branching-Time Temporal Logic[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2006.
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。