A slicing-based approach to enhance petri net reachability analysis
- W. J. Lee
- , H. N. Kim
- , S. D. Cha
- , Y. R. Kwon
- Electronics and Telecommunications Research Institute
- Electronics and Telcommunication Research Institute (ETRI)
- Korea Advanced Institute of Science and Technology
Research output: Contribution to journal › Article › peer-review
6
Scopus
citations