Timed Petri Nets and Temporal Linear Logic

収録刊行物

  • Lecture Notes in Computer Science 1248 : Proc.18th Int'l Conf. on Application and Theory of Petri Nets

    Lecture Notes in Computer Science 1248 : Proc.18th Int'l Conf. on Application and Theory of Petri Nets, 156-174, 1997

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

各種コード

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