| 번호 | 제목 |
|---|---|
| 1 |
공정 안전 검색을 위한 반증예제 생성 알고리듬|Witness Generation Algorithm for the Verification of Chemical Process Safety 고세준, 문일|SeJun Goh, Il Moon 한국화학공학회 1997년 봄 학술대회 |
| 번호 | 제목 |
|---|---|
| 1 |
공정 안전 검색을 위한 반증예제 생성 알고리듬|Witness Generation Algorithm for the Verification of Chemical Process Safety 고세준, 문일|SeJun Goh, Il Moon 한국화학공학회 1997년 봄 학술대회 |