Masthead: Macromol. React. Eng. 5/2014
- 期刊名称Macromolecular Reaction Engineering
- 卷第8卷
- 期第5期
- 印刷ISSN1862-832X
- 文件大小97.75KB
- 发表时间2014-05
- DOI10.1002/mren.201470016
- 页码408-408
同作者推荐
LOGICS OF PROGRAMSCLARKE EDMUND AND DEXTER KOZEN · Springer-Verlag · 1984
[Lecture Notes in Computer Science] Logics of Programs Volume 164 || An interval-based temporal logicClarke, Edmund; Kozen, Dexter · 1984
[Lecture Notes in Computer Science] Logics of Programs Volume 164 || Deciding branching time logic: A triple exponential decision procedure for CTLClarke, Edmund; Kozen, Dexter · 1984