%0 Journal Article %1 journals/tlsdkcs/Ait-SadouneA13 %A Aït-Sadoune, Idir %A Ameur, Yamine Aït %B Trans. Large-Scale Data- and Knowledge-Centered Systems %D 2013 %E Hameurlain, Abdelkader %E Küng, Josef %E Wagner, Roland R. %E Liddle, Stephen W. %E Schewe, Klaus-Dieter %E Zhou, Xiaofang %I Springer %J Trans. Large Scale Data Knowl. Centered Syst. %K dblp %P 1-33 %T Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. %U http://dblp.uni-trier.de/db/journals/tlsdkcs/tlsdkcs10.html#Ait-SadouneA13 %V 10 %@ 978-3-642-41220-2

@article{journals/tlsdkcs/Ait-SadouneA13, added-at = {2020-05-19T00:00:00.000+0200}, author = {Aït-Sadoune, Idir and Ameur, Yamine Aït}, biburl = {https://www.bibsonomy.org/bibtex/2e6eda7fa39d98728af3c8d50d019b22a/dblp}, booktitle = {Trans. Large-Scale Data- and Knowledge-Centered Systems}, crossref = {journals/tlsdkcs/2013-10}, editor = {Hameurlain, Abdelkader and Küng, Josef and Wagner, Roland R. and Liddle, Stephen W. and Schewe, Klaus-Dieter and Zhou, Xiaofang}, ee = {https://doi.org/10.1007/978-3-642-41221-9_1}, interhash = {523579da74206086bf6030fe41296353}, intrahash = {e6eda7fa39d98728af3c8d50d019b22a}, isbn = {978-3-642-41220-2}, journal = {Trans. Large Scale Data Knowl. Centered Syst.}, keywords = {dblp}, pages = {1-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-20T11:53:47.000+0200}, title = {Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.}, url = {http://dblp.uni-trier.de/db/journals/tlsdkcs/tlsdkcs10.html#Ait-SadouneA13}, volume = 10, year = 2013 }