Showing results 1 to 1 of 1
A slicing-based approach to enhance Petri net reachability analysis w.j. lee; Cha, Sungdeok; Kwon, Yong Rae; h.n. kim, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.32, no.2, pp.131 - 143, 2000-05 |
Discover