Timed Petri nets and temporal linear logic

収録刊行物

  • Lecture Notes in Computer Science

    Lecture Notes in Computer Science 1248, 156-174, 1997

被引用文献:  2件中 1-2件 を表示

各種コード

  • NII論文ID(NAID)
    80009700886
  • 資料種別
    雑誌論文
  • データ提供元
    CJP引用 
ページトップへ