Author:
Damian Andrei,Drăgoi Cezara,Militaru Alexandru,Widder Josef
Publisher
Springer International Publishing
Reference42 articles.
1. Lecture Notes in Computer Science;B Aminof,2018
2. Bakst, A., von Gleissenthall, K., Kici, R.G., Jhala, R.: Verifying distributed programs via canonical sequentialization. PACMPL 1(OOPSLA), 110:1–110:27 (2017)
3. Bendersky, E.: pycparser.
https://github.com/eliben/pycparser
. Accessed 7 Nov 2018
4. Lecture Notes in Computer Science;A Bouajjani,2018
5. Chandra, T.D., Griesemer, R., Redstone, J.: Paxos made live: an engineering perspective. In: PODC, pp. 398–407 (2007)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献