首页 / 资料库 / 文献详情
SAT-Based Verification of Bounded Petri Nets
Tao -、Zhihong、Zhou、Conghua、Hans、Kleine、Buning、Wang
2006Acta Scientiarum Naturalium Universitatis SunyatseniBusiness, Management and Accounting被引 1
摘要
该文献暂无收录摘要。
引用本文（GB/T 7714）
Tao -, Zhihong, Zhou, 等. SAT-Based Verification of Bounded Petri Nets[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2006.
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。