%0 Journal Article %1 journals/ijspm/BenmerzougKB08 %A Benmerzoug, Djamel %A Kordon, Fabrice %A Boufaïda, Mahmoud %D 2008 %J Int. J. Simul. Process. Model. %K dblp %N 3/4 %P 195-204 %T Formalisation and verification of interaction protocols for business process integration: a Petri net approach. %U http://dblp.uni-trier.de/db/journals/ijspm/ijspm4.html#BenmerzougKB08 %V 4

@article{journals/ijspm/BenmerzougKB08, added-at = {2020-04-16T00:00:00.000+0200}, author = {Benmerzoug, Djamel and Kordon, Fabrice and Boufaïda, Mahmoud}, biburl = {https://www.bibsonomy.org/bibtex/26888b8925e6256115461c9d2add8161e/dblp}, ee = {https://doi.org/10.1504/IJSPM.2008.023681}, interhash = {0b2cfb75d87d097c9b0cc264a7802b61}, intrahash = {6888b8925e6256115461c9d2add8161e}, journal = {Int. J. Simul. Process. Model.}, keywords = {dblp}, number = {3/4}, pages = {195-204}, timestamp = {2020-04-17T12:02:56.000+0200}, title = {Formalisation and verification of interaction protocols for business process integration: a Petri net approach.}, url = {http://dblp.uni-trier.de/db/journals/ijspm/ijspm4.html#BenmerzougKB08}, volume = 4, year = 2008 }