Author:
Abe Tatsuya,Maeda Toshiyuki
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference52 articles.
1. LNCS;PA Abdulla,2012
2. LNCS;PA Abdulla,2013
3. Abe, T.: McSPIN. https://bitbucket.org/abet/mcspin/
4. Abe, T., Maeda, T.: A general model checking framework for various memory consistency models. In: Proc. of HIPS, pp. 332–341 (2014)
5. Abe, T., Maeda, T.: Optimization of a general model checking framework for various memory consistency models. In: Proc. of PGAS (2014)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献