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

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

TERMINATION ANALYSIS OF LINEAR LOOPS

TERMINATION ANALYSIS OF LINEAR LOOPS

XU, MING; CHEN, LIANGYU; ZENG, ZHENBING; LI, ZHI-BIN
  • 期刊名称International Journal of Foundations of Computer Science
  • 作者XU, MING; CHEN, LIANGYU; ZENG, ZHENBING; LI, ZHI-BIN
  • 卷第21卷
  • 期第6期
  • 印刷ISSN0129-0541
  • 电子ISSN1793-6373
  • 文件大小215.97KB
  • 发表时间2010-12
  • DOI10.1142/S0129054110007696
  • 页码1005-1019
← 返回【学霸图书馆】主页