| Journal Paper | Journal Paper Information |
|---|---|
| Name | Adnan Khalid |
| Co-Authors | |
| Department | Computer Sciences |
| Title OF Paper | Formal modeling and verification of cloud?based web service composition |
| Title Of Journal | Concurrency and Computation Practice and Experience |
| Paper Type | ISI Index With Impact Factor |
| Impact Factor | 1.5 |
| Start Date | 2019-04-02 |
| Pages | |
| Issue No | |
| Volume No | |
| DOI | https://onlinelibrary.wiley.com/doi/full/10.1002/cpe.5249 |
| Paper Status | Published |