イナヅミ ヒロシゲ   INAZUMI Hiroshige
  稲積 宏誠
   所属   青山学院大学  社会情報学部 社会情報学科
   職種   教授
言語種別 日本語
発行・発表の年月 1999/10
形態種別 左記以外
査読 査読有り
標題 “A New Scheme for Verifying Rule-Based Systems Using Petri Nets”
執筆形態 共同
掲載誌名 IEEE International Conference on Systems, Man and Cybernetics
巻・号・頁 1,860-865頁
著者・共著者 *Hiroshige Inazumi,Tadahiro Omoto