查看最新文献
订阅
分享
469发文信息
历年影响因子
历年发表
投稿信息
同类期刊
Revue de recherches en littératie médiatique multimodale
Nondestructive Characterization and Monitoring of Advanced Materials, Aerospace, Civil Infrastructure, and Transportation XIII
Jurnal Kebidanan Mutiara Mahakam
The 1st International Conference on (BY SCIENTIFIC RESEARCH WE BUILD THE FUTURE AND DEVELOP SPORT)
International Workshop on Structures in Concurrency Theory - 最新文献
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications
Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3078-9_3 E. Olderog, M. SchenkeOrbits, half-frozen tokens and the liveness of weighted circuits
Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3078-9_8 Piotr Chrzastowski-Wachtel, Marek RaczunasConformance: A Precongruence close to Bisimilarity
Pub Date : 1900-01-01 DOI: 10.1007/978-1-4471-3078-9_4 S. Arun-Kumar, V. Natarajan
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
