%0 Conference Paper %1 conf/sbmf/MoralesMV16 %A Morales, Luis E. Mendoza %A Monsalve, Carlos %A Villavicencio, Mónica %B SBMF %D 2016 %E Ribeiro, Leila %E Lecomte, Thierry %K dblp %P 41-58 %T Application of Formal Methods to Verify Business Processes. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2016.html#MoralesMV16 %V 10090 %@ 978-3-319-49814-0

@inproceedings{conf/sbmf/MoralesMV16, added-at = {2017-06-15T00:00:00.000+0200}, author = {Morales, Luis E. Mendoza and Monsalve, Carlos and Villavicencio, Mónica}, biburl = {https://www.bibsonomy.org/bibtex/267514c210a3f26ca06c16dde0a0026bf/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2016}, editor = {Ribeiro, Leila and Lecomte, Thierry}, ee = {https://doi.org/10.1007/978-3-319-49815-7_3}, interhash = {15b19387aaab32857152d1f9f30b4c28}, intrahash = {67514c210a3f26ca06c16dde0a0026bf}, isbn = {978-3-319-49814-0}, keywords = {dblp}, pages = {41-58}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-03T11:40:54.000+0100}, title = {Application of Formal Methods to Verify Business Processes.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2016.html#MoralesMV16}, volume = 10090, year = 2016 }