发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Decidability for a temporal logic used in discrete-event system analysis

Decidability for a temporal logic used in discrete-event system analysis

KNIGHT, J. F.; PASSINO, K. M.
  • 期刊名称International Journal of Control
  • 作者KNIGHT, J. F.; PASSINO, K. M.
  • 卷第52卷
  • 期第6期
  • 印刷ISSN0020-7179
  • 电子ISSN1366-5820
  • 文件大小728.60KB
  • 发表时间1990-12
  • DOI10.1080/00207179008953606
  • 页码1489-1506
← 返回【学霸图书馆】主页