%0 Journal Article %1 journals/tsmc/IbanezFAE12 %A Ibáñez, María José %A Fabra, Javier %A Álvarez, Pedro %A Ezpeleta, Joaquín %D 2012 %J IEEE Trans. Syst. Man Cybern. Part A %K dblp %N 4 %P 854-867 %T Model Checking Analysis of Semantically Annotated Business Processes. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmca42.html#IbanezFAE12 %V 42

@article{journals/tsmc/IbanezFAE12, added-at = {2020-09-17T00:00:00.000+0200}, author = {Ibáñez, María José and Fabra, Javier and Álvarez, Pedro and Ezpeleta, Joaquín}, biburl = {https://www.bibsonomy.org/bibtex/2069edf819898b19cb20b63715449199d/dblp}, ee = {https://www.wikidata.org/entity/Q57985036}, interhash = {b58ddef7f631cf5601568f1043daf6af}, intrahash = {069edf819898b19cb20b63715449199d}, journal = {IEEE Trans. Syst. Man Cybern. Part A}, keywords = {dblp}, number = 4, pages = {854-867}, timestamp = {2020-09-18T11:39:28.000+0200}, title = {Model Checking Analysis of Semantically Annotated Business Processes.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmca42.html#IbanezFAE12}, volume = 42, year = 2012 }