Program repair without regret
- 期刊名称Formal Methods in System Design
- 作者von Essen, Christian; Jobstmann, Barbara
- 卷第47卷
- 期第1期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小686.32KB
- 发表时间2015-8-24
- DOI10.1007/s10703-015-0223-6
- 页码26-50
Electrochemical halogenation of organic compoundsLyalin, B. V.; Petrosyan, V. A. · Russian Journal of Electrochemistry · 2013
Theory of asymmetric electrochemical stochastic diffusionGrafov, B. M. · Russian Journal of Electrochemistry · 2013
Fractal theory of electrochemical diffusion noiseGrafov, B. M. · Russian Journal of Electrochemistry · 2015
Efficient synthesis of diethyltetrahydroquinoxalinedionesHabibi, Davood; Nematollahi, Davood; Asgari, Zhila; Varmaghani, Fahimeh · Russian Journal of Electrochemistry · 2015
Borohydride—bromate fuel cellTolmachev, Yu. V. · Russian Journal of Electrochemistry · 2015
Template electrodeposition of metals. ReviewDavydov, A. D.; Volgin, V. M. · Russian Journal of Electrochemistry · 2016
Development of the electrocrystallization theoryGamburg, Yu. D. · Russian Journal of Electrochemistry · 2016
New advances in ohmic microscopyFeng, Zhange; Georgescu, Nicholas S.; Scherson, Daniel A. · Russian Journal of Electrochemistry · 2017