%0 Conference Paper %1 conf/iscas/Jiao08 %A Jiao, Li %B ISCAS %D 2008 %I IEEE %K dblp %P 209-211 %T A method for verifying deadlock freedom and liveness of petri nets. %U http://dblp.uni-trier.de/db/conf/iscas/iscas2008.html#Jiao08 %@ 978-1-4244-1684-4

@inproceedings{conf/iscas/Jiao08, added-at = {2008-12-31T00:00:00.000+0100}, author = {Jiao, Li}, biburl = {https://www.bibsonomy.org/bibtex/277e0dd8af10ec442966f2e4676185ae4/dblp}, booktitle = {ISCAS}, crossref = {conf/iscas/2008}, ee = {http://dx.doi.org/10.1109/ISCAS.2008.4541391}, interhash = {037d59fa99d5ca02e3f563daa011d524}, intrahash = {77e0dd8af10ec442966f2e4676185ae4}, isbn = {978-1-4244-1684-4}, keywords = {dblp}, pages = {209-211}, publisher = {IEEE}, timestamp = {2016-05-21T11:56:30.000+0200}, title = {A method for verifying deadlock freedom and liveness of petri nets.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2008.html#Jiao08}, year = 2008 }