Yunkai Du

According to our database¹, Yunkai Du authored at least 2 papers between 2015 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2016

2015

Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Computing and Networking, 2015