Abstract regular (tree) model checking
- 作者Ahmed Bouajjani; Peter Habermehl; Adam Rogalewicz; Tomáš Vojnar
- 卷第14卷
- 期第2期
- 印刷ISSN1433-2779
- 电子ISSN1433-2787
- 文件大小860.63KB
- 发表时间2012-04
- DOI10.1007/s10009-011-0205-y
- 页码167-191
Hydrogen electrosorption into Pd-rich Pd–Ru alloysHubkowska, K.; Koss, U.; Łukaszewski, M.; Czerwiński, A. · Journal of Electroanalytical Chemistry · 2013
Thermodynamic aspects of hydrogen electrosorption into Pd–Rh alloysKoss, U.; Łukaszewski, M.; Hubkowska, K.; Czerwiński, A. · Journal of Electroanalytical Chemistry · 2015
Characterization and electrochemical behavior of Pd-rich Pd-Ru alloysHubkowska, K.; Łukaszewski, M.; Koss, U.; Czerwiński, A. · Electrochimica Acta · 2014
Influence of temperature on hydrogen electrosorption into palladium-noble metal alloys. Part 3: Palladium–rhodium alloysKoss, U.; Hubkowska, K.; Łukaszewski, M.; Czerwiński, A. · Electrochimica Acta · 2013
Oxygen solid electrolyte coulometry (OSEC)Vashook, V.; Zosel, J.; Guth, U. · Journal of Solid State Electrochemistry · 2012
Galvanostatic phase formationIsaev, Vladimir A.; Grishenkova, Olga V. · Journal of Solid State Electrochemistry · 2014
Theoretical problems in solid electrocapillarityGutman, Emmanuel M. · Journal of Solid State Electrochemistry · 2014
Glass-based redox sensorW. Vonau,F. Gerlach,K. Ahlborn · Journal of Solid State Electrochemistry · 2013
ForewordBanas, Jacek; Miecznikowski, Krzysztof · Journal of Solid State Electrochemistry · 2014
Carbazole electrochemistry: a short reviewKaron, Krzysztof; Lapkowski, Mieczyslaw · Journal of Solid State Electrochemistry · 2015
The Definition of ElectrochromismFletcher, Stephen · Journal of Solid State Electrochemistry · 2015
Electrochemical dating: a reviewDoménech-Carbo, Antonio · Journal of Solid State Electrochemistry · 2017