A Term Rewriting Approach to Analyze High Level Petri Nets
- Title
- A Term Rewriting Approach to Analyze High Level Petri Nets
- Authors
- 배경민
- Date Issued
- 2016-07-17
- Publisher
- IEEE Computer Society
- URI
- https://oasis.postech.ac.kr/handle/2014.oak/49007
- Article Type
- Conference
- Citation
- The 10th International Symposium on Theoretical Aspects of Software Engineering, 2016-07-17
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.