%0 Conference Paper %1 conf/ficloud/VazquezEB15 %A Vazquez, Ana %A El-Menshawy, Mohamed %A Bentahar, Jamal %B FiCloud %D 2015 %E Awan, Irfan %E Younas, Muhammad %E Mecella, Massimo %I IEEE Computer Society %K dblp %P 173-180 %T Automatic Transformation of Cloud Computing Service Composition to Verifiable Models. %U http://dblp.uni-trier.de/db/conf/ficloud/ficloud2015.html#VazquezEB15 %@ 978-1-4673-8103-1

@inproceedings{conf/ficloud/VazquezEB15, added-at = {2024-02-05T00:00:00.000+0100}, author = {Vazquez, Ana and El-Menshawy, Mohamed and Bentahar, Jamal}, biburl = {https://www.bibsonomy.org/bibtex/2e925044ffb5cb525979e0305e2416b14/dblp}, booktitle = {FiCloud}, crossref = {conf/ficloud/2015}, editor = {Awan, Irfan and Younas, Muhammad and Mecella, Massimo}, ee = {https://doi.ieeecomputersociety.org/10.1109/FiCloud.2015.117}, interhash = {ed1190f9f38cc4e302d0e9794b993a87}, intrahash = {e925044ffb5cb525979e0305e2416b14}, isbn = {978-1-4673-8103-1}, keywords = {dblp}, pages = {173-180}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:08:53.000+0200}, title = {Automatic Transformation of Cloud Computing Service Composition to Verifiable Models.}, url = {http://dblp.uni-trier.de/db/conf/ficloud/ficloud2015.html#VazquezEB15}, year = 2015 }