%0 Conference Paper %1 conf/smc/PassosJ09 %A Passos, Lígia Maria Soares %A Julia, Stéphane %B SMC %D 2009 %I IEEE %K dblp %P 2843-2847 %T Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification. %U http://dblp.uni-trier.de/db/conf/smc/smc2009.html#PassosJ09 %@ 978-1-4244-2794-9

@inproceedings{conf/smc/PassosJ09, added-at = {2018-11-02T00:00:00.000+0100}, author = {Passos, Lígia Maria Soares and Julia, Stéphane}, biburl = {https://www.bibsonomy.org/bibtex/2695d2c82e8b3f9a8342104e4239e1670/dblp}, booktitle = {SMC}, crossref = {conf/smc/2009}, ee = {https://doi.org/10.1109/ICSMC.2009.5346601}, interhash = {e12269ccd2aa5f18d0c06051623bd3d7}, intrahash = {695d2c82e8b3f9a8342104e4239e1670}, isbn = {978-1-4244-2794-9}, keywords = {dblp}, pages = {2843-2847}, publisher = {IEEE}, timestamp = {2019-10-17T22:31:38.000+0200}, title = {Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2009.html#PassosJ09}, year = 2009 }