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

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

Certified normalization of generalized traces

Certified normalization of generalized traces

Maarand, Hendrik; Uustalu, Tarmo
  • 期刊名称Innovations in Systems and Software Engineering
  • 作者Maarand, Hendrik; Uustalu, Tarmo
  • 卷第15卷
  • 印刷ISSN1614-5046
  • 电子ISSN1614-5054
  • 文件大小359.47KB
  • 发表时间2019-9
  • DOI10.1007/s11334-019-00347-1
  • 页码253-265
← 返回【学霸图书馆】主页