%0 Conference Paper %1 conf/seke/LuZZBA12 %A Lu, Faming %A Zeng, Qingtian %A Zhang, Hao %A Bao, Yunxia %A An, Jiufang %B SEKE %D 2012 %I Knowledge Systems Institute Graduate School %K invariant %P 340-345 %T Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets. %U http://dblp.uni-trier.de/db/conf/seke/seke2012.html#LuZZBA12 %@ 1-891706-31-4

@inproceedings{conf/seke/LuZZBA12, added-at = {2014-02-11T23:23:57.000+0100}, author = {Lu, Faming and Zeng, Qingtian and Zhang, Hao and Bao, Yunxia and An, Jiufang}, biburl = {https://www.bibsonomy.org/bibtex/2e14735264e94b5afaa49bad038866954/eperzhand}, booktitle = {SEKE}, crossref = {conf/seke/2012}, interhash = {e6ebd229d9c3303afbc16ab7cf13669d}, intrahash = {e14735264e94b5afaa49bad038866954}, isbn = {1-891706-31-4}, keywords = {invariant}, pages = {340-345}, publisher = {Knowledge Systems Institute Graduate School}, timestamp = {2014-02-11T23:23:57.000+0100}, title = {Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2012.html#LuZZBA12}, year = 2012 }