首页 / 资料库 / 文献详情
Model checking with fairness assumptions using PAT
Yuanjie、Si Si、Jun、Sun、Yang、Liu .、Jin、Сонг
2014Acta Scientiarum Naturalium Universitatis SunyatseniComputer Science被引 18
摘要
该文献暂无收录摘要。
引用本文（GB/T 7714）
Yuanjie, Si Si, Jun, 等. Model checking with fairness assumptions using PAT[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2014.
本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。