受强制性开放获取政策约束的文章 - Kenji Hisazumi了解详情
无法在其他位置公开访问的文章：2 篇
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
W Kong, G Hou, X Hu, T Ando, K Hisazumi, A Fukuda
Journal of information security and applications 31, 61-74, 2016
强制性开放获取政策： 国家自然科学基金委员会
ZipPath: A simple-but-useful path finder for HSTM designs in ZIPC
W Kong, G Hou, X Hu, Y Arimoto, M Watanabe, T Ando, K Hisazumi, ...
2016 IEEE International Conference on Agents (ICA), 154-157, 2016
强制性开放获取政策： 国家自然科学基金委员会
出版信息和资助信息由计算机程序自动确定