%0 Journal Article %1 journals/tecs/ChenL13 %A Chen, Yufeng %A Liu, Gaiyun %D 2013 %J ACM Trans. Embed. Comput. Syst. %K %N 1 %P 3:1-3:15 %T Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. %U http://dblp.uni-trier.de/db/journals/tecs/tecs12.html#ChenL13 %V 12

@article{journals/tecs/ChenL13, added-at = {2023-12-12T22:51:38.000+0100}, author = {Chen, Yufeng and Liu, Gaiyun}, biburl = {https://www.bibsonomy.org/bibtex/254ecdfd2e31ac6ed2096df944446ef49/admin}, ee = {https://doi.org/10.1145/2406336.2406339}, interhash = {4ef0458faa32df4cc785eda5c9a5278b}, intrahash = {54ecdfd2e31ac6ed2096df944446ef49}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {}, number = 1, pages = {3:1-3:15}, timestamp = {2023-12-12T22:51:38.000+0100}, title = {Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs12.html#ChenL13}, volume = 12, year = 2013 }