Stochastic Modeling of Manufacturing Systems ||
- 作者Liberopoulos, George; Papadopoulos, Chrissoleon T.; Tan, Barış; Smith, J. M.; Gershwin, Stanley B.
- 文件大小5148.45KB
- 发表时间2006
- DOI10.1007/3-540-29057-5
同作者推荐
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