A survey on temporal logics for specifying and verifying real-time systems

2013Acta Scientiarum Naturalium Universitatis SunyatseniComputer Science被引 1

摘要

该文献暂无收录摘要。

引用本文（GB/T 7714）

Savas, Konur. A survey on temporal logics for specifying and verifying real-time systems[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2013.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。