Timed petri net and temporal linear logic 時間ペトリネットと時相線型論理

Access this Article

Search this Article

Author

    • 田辺, 誠 タナベ, マコト

Bibliographic Information

Title

Timed petri net and temporal linear logic

Other Title

時間ペトリネットと時相線型論理

Author

田辺, 誠

Author(Another name)

タナベ, マコト

University

京都大学

Types of degree

博士 (理学)

Grant ID

甲第7626号

Degree year

1999-03-23

Note and Description

博士論文

0access

preview

Codes

  • NII Article ID (NAID)
    500000170187
  • NII Author ID (NRID)
    • 8000000170461
  • DOI(NDL)
  • Text Lang
    • eng
  • NDLBibID
    • 000000334501
  • Source
    • Institutional Repository
    • NDL ONLINE
    • NDL Digital Collections

Export

Page Top