A Complete Set of Reduction Rules for Marked Graphs and State Machines / マークグラフおよび状態機械の縮約則について
- Resource Type
- Journal Article
- Source
- システム制御情報学会論文誌 / Transactions of the Institute of Systems, Control and Information Engineers. 1999, 12(2):139
- Subject
boundedness completeness liveness reduction rules - Language
- Japanese
- ISSN
- 1342-5668
2185-811X