%0 Conference Paper %1 conf/ic-nc/DuG15 %A Du, Yunkai %A Gu, Naijie %B CANDAR %D 2015 %I IEEE Computer Society %K dblp %P 75-81 %T Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection. %U http://dblp.uni-trier.de/db/conf/ic-nc/candar2015.html#DuG15 %@ 978-1-4673-9797-1

@inproceedings{conf/ic-nc/DuG15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Du, Yunkai and Gu, Naijie}, biburl = {https://www.bibsonomy.org/bibtex/29296a0fc4aeab0617c09ccab166d6ec9/dblp}, booktitle = {CANDAR}, crossref = {conf/ic-nc/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/CANDAR.2015.65}, interhash = {baa78eb805b2681fc7741540d395b16d}, intrahash = {9296a0fc4aeab0617c09ccab166d6ec9}, isbn = {978-1-4673-9797-1}, keywords = {dblp}, pages = {75-81}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:34:09.000+0200}, title = {Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.}, url = {http://dblp.uni-trier.de/db/conf/ic-nc/candar2015.html#DuG15}, year = 2015 }