Specifying and Verifying Business Processes Using PPML. Regis, G., Aguirre, N., & Maibaum, T. S. E. In Breitman, K. K. & Cavalcanti, A., editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, volume 5885, of Lecture Notes in Computer Science, pages 737–756, 2009. Springer. ![Specifying and Verifying Business Processes Using PPML [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{DBLP:conf/icfem/RegisAM09,
author = {Germ{\'{a}}n Regis and Nazareno Aguirre and T. S. E. Maibaum},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/icfem/RegisAM09.bib},
booktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings},
doi = {10.1007/978-3-642-10373-5\_38},
editor = {Karin K. Breitman and Ana Cavalcanti},
pages = {737--756},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
title = {Specifying and Verifying Business Processes Using {PPML}},
url = {https://doi.org/10.1007/978-3-642-10373-5\_38},
volume = {5885},
year = {2009},
Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-10373-5%5C_38},
Bdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-10373-5%5C_38}}
Downloads: 0
{"_id":"CKNfDYKpw6mZGC96p","bibbaseid":"regis-aguirre-maibaum-specifyingandverifyingbusinessprocessesusingppml-2009","author_short":["Regis, G.","Aguirre, N.","Maibaum, T. S. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Germán"],"propositions":[],"lastnames":["Regis"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/icfem/RegisAM09.bib","booktitle":"Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings","doi":"10.1007/978-3-642-10373-5_38","editor":[{"firstnames":["Karin","K."],"propositions":[],"lastnames":["Breitman"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Cavalcanti"],"suffixes":[]}],"pages":"737–756","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Tue, 14 May 2019 10:00:50 +0200","title":"Specifying and Verifying Business Processes Using PPML","url":"https://doi.org/10.1007/978-3-642-10373-5\\_38","volume":"5885","year":"2009","bdsk-url-1":"https://doi.org/10.1007/978-3-642-10373-5%5C_38","bdsk-url-2":"http://dx.doi.org/10.1007/978-3-642-10373-5%5C_38","bibtex":"@inproceedings{DBLP:conf/icfem/RegisAM09,\n\tauthor = {Germ{\\'{a}}n Regis and Nazareno Aguirre and T. S. E. Maibaum},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/icfem/RegisAM09.bib},\n\tbooktitle = {Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings},\n\tdoi = {10.1007/978-3-642-10373-5\\_38},\n\teditor = {Karin K. Breitman and Ana Cavalcanti},\n\tpages = {737--756},\n\tpublisher = {Springer},\n\tseries = {Lecture Notes in Computer Science},\n\ttimestamp = {Tue, 14 May 2019 10:00:50 +0200},\n\ttitle = {Specifying and Verifying Business Processes Using {PPML}},\n\turl = {https://doi.org/10.1007/978-3-642-10373-5\\_38},\n\tvolume = {5885},\n\tyear = {2009},\n\tBdsk-Url-1 = {https://doi.org/10.1007/978-3-642-10373-5%5C_38},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/978-3-642-10373-5%5C_38}}\n\n","author_short":["Regis, G.","Aguirre, N.","Maibaum, T. S. E."],"editor_short":["Breitman, K. K.","Cavalcanti, A."],"key":"DBLP:conf/icfem/RegisAM09","id":"DBLP:conf/icfem/RegisAM09","bibbaseid":"regis-aguirre-maibaum-specifyingandverifyingbusinessprocessesusingppml-2009","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-10373-5\\_38"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","dataSources":["CctimS4AgKgzGybH5"],"keywords":[],"search_terms":["specifying","verifying","business","processes","using","ppml","regis","aguirre","maibaum"],"title":"Specifying and Verifying Business Processes Using PPML","year":2009}