date accessioned | 2020-03-12T20:11:08Z | |
date available | 2020-03-12T20:11:08Z | |
date issued | 2014 | |
identifier other | 6856047.pdf | |
identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1005079?locale-attribute=en&show=full | |
format | general | |
language | English | |
publisher | IEEE | |
title | First experimental demonstration of SiC super-junction (SJ) structure by multi-epitaxial growth method | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8126498 | |
subject keywords | biology computing | |
subject keywords | computability | |
subject keywords | formal verification | |
subject keywords | genetic algorithms | |
subject keywords | molecular biophysics | |
subject keywords | state-space methods | |
subject keywords | SMT solvers | |
subject keywords | biological system | |
subject keywords | biology | |
subject keywords | cellular mechanism | |
subject keywords | computer-aided verification technology | |
subject keywords | gene regulatory circuits | |
subject keywords | molecular reaction networks | |
subject keywords | reactive model | |
subject keywords | symbolic state space exploration | |
identifier doi | 10.1109/FMCAD.2014.6987588 | |
journal title | ower Semiconductor Devices & IC's (ISPSD), 2014 IEEE 26th International Symposium o | |
filesize | 861119 | |
citations | 0 | |
contributor rawauthor | Kosugi, R. , Sakuma, Y. , Kojima, K. , Itoh, S. , Nagata, A. , Yatsuo, T. , Tanaka, Y. , Okumura, H. | |