Login / Signup
Yunkai Du
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Deadlock Detection
Service Composition
Incremental Algorithms
Petri Net
Top Venues
IEICE Trans. Inf. Syst.
CANDAR
</>
Publications
</>
Yunkai Du
,
Naijie Gu
,
Xin Zhou
Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.
IEICE Trans. Inf. Syst.
(12) (2016)
Yunkai Du
,
Naijie Gu
Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.
CANDAR
(2015)