[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || PRISM 4.0: Verification of Probabilistic Real-Time Systems
- 作者Gopalakrishnan, Ganesh; Qadeer, Shaz
- 文件大小186.66KB
- 发表时间2011
- DOI10.1007/978-3-642-22110-1_47
- 页码585-591
[Advanced Texts in Physics] Silicon Carbide Volume 5 ||Choyke, W. J.; Matsunami, H.; Pensl, G. · 2004
[Advanced Texts in Physics] Silicon Carbide || Micromachining of SiCChoyke, W. J.; Matsunami, H.; Pensl, G. · 2004
[Advanced Texts in Physics] Silicon Carbide || Surface Preparation Techniques for SiC WafersChoyke, W. J.; Matsunami, H.; Pensl, G. · 2004
[Advanced Texts in Physics] Silicon Carbide Volume 314 || Defect Migration and Annealing MechanismsChoyke, W. J.; Matsunami, H.; Pensl, G. · 2004
[Advanced Texts in Physics] Silicon Carbide || Ohmic Contacts for Power Devices on SiCChoyke, W. J.; Matsunami, H.; Pensl, G. · 2004
[Advanced Texts in Physics] Silicon Carbide Volume 900 || Vacancy Defects Detected by Positron AnnihilationChoyke, W. J.; Matsunami, H.; Pensl, G. · 2004
[Advanced Texts in Physics] Silicon Carbide || High Nitrogen Doping During Bulk Growth of SiCChoyke, W. J.; Matsunami, H.; Pensl, G. · 2004