| 번호 | 제목 |
|---|---|
| 1 |
시간논리를 이용한 화학공장의 운전절차 합성 알고리즘|Algorithm for Operating Procedure Synthesis of Chemical Plant using Temporal Logic 허보경, 황규석|Bo Kyeng Hou, Kyu Suk Hwang 한국화학공학회 1999년 봄 학술대회 |
| 번호 | 제목 |
|---|---|
| 1 |
시간논리를 이용한 화학공장의 운전절차 합성 알고리즘|Algorithm for Operating Procedure Synthesis of Chemical Plant using Temporal Logic 허보경, 황규석|Bo Kyeng Hou, Kyu Suk Hwang 한국화학공학회 1999년 봄 학술대회 |