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

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

Verifying global start-up for a Möbius ring-oscillator

Verifying global start-up for a Möbius ring-oscillator

Yan, Chao; Greenstreet, Mark R.; Yang, Suwen
  • 期刊名称Formal Methods in System Design
  • 作者Yan, Chao; Greenstreet, Mark R.; Yang, Suwen
  • 卷第45卷
  • 期第2期
  • 印刷ISSN0925-9856
  • 电子ISSN1572-8102
  • 文件大小1094.07KB
  • 发表时间2014-10
  • DOI10.1007/s10703-013-0204-6
  • 页码246-272
← 返回【学霸图书馆】主页