%0 Conference Paper %1 conf/smc/AhmadHWA08 %A Ahmad, Farooq %A Huang, Hejiao %A Wang, Xiaolong %A Anwer, Waqas %B SMC %D 2008 %I IEEE %K dblp %P 3636-3641 %T A technique for generating the reduced reachability graph of petri net models. %U http://dblp.uni-trier.de/db/conf/smc/smc2008.html#AhmadHWA08 %@ 978-1-4244-2383-5

@inproceedings{conf/smc/AhmadHWA08, added-at = {2018-11-28T00:00:00.000+0100}, author = {Ahmad, Farooq and Huang, Hejiao and Wang, Xiaolong and Anwer, Waqas}, biburl = {https://www.bibsonomy.org/bibtex/205f6af444db2542d6541a73c60e6c9e0/dblp}, booktitle = {SMC}, crossref = {conf/smc/2008}, ee = {https://doi.org/10.1109/ICSMC.2008.4811863}, interhash = {ecc1d13799e2961774de77fb7fdfbf64}, intrahash = {05f6af444db2542d6541a73c60e6c9e0}, isbn = {978-1-4244-2383-5}, keywords = {dblp}, pages = {3636-3641}, publisher = {IEEE}, timestamp = {2019-10-17T22:32:23.000+0200}, title = {A technique for generating the reduced reachability graph of petri net models.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2008.html#AhmadHWA08}, year = 2008 }