%0 Journal Article %1 journals/concurrency/KazmiQKAS20 %A Kazmi, Syed Asad Raza %A Qasim, Awais %A Khalid, Adnan %A Assad, Ruttaba %A Shahbaz, Muhammad %D 2020 %J Concurr. Comput. Pract. Exp. %K dblp %N 21 %T Formal modeling and verification of cloud-based web service composition. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency32.html#KazmiQKAS20 %V 32

@article{journals/concurrency/KazmiQKAS20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Kazmi, Syed Asad Raza and Qasim, Awais and Khalid, Adnan and Assad, Ruttaba and Shahbaz, Muhammad}, biburl = {https://www.bibsonomy.org/bibtex/29a960e79020a538405ddc84dd51b60db/dblp}, ee = {https://doi.org/10.1002/cpe.5249}, interhash = {5ca75f4c04e428cc4536dafe5a98c321}, intrahash = {9a960e79020a538405ddc84dd51b60db}, journal = {Concurr. Comput. Pract. Exp.}, keywords = {dblp}, number = 21, timestamp = {2024-04-08T12:13:26.000+0200}, title = {Formal modeling and verification of cloud-based web service composition.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency32.html#KazmiQKAS20}, volume = 32, year = 2020 }