Login / Signup
Ruttaba Assad
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Formal Analysis
Colored Petri Nets
Cloud Computing
Top Venues
Concurr. Comput. Pract. Exp.
</>
Publications
</>
Syed Asad Raza Kazmi
,
Awais Qasim
,
Adnan Khalid
,
Ruttaba Assad
,
Muhammad Shahbaz
Formal modeling and verification of cloud-based web service composition.
Concurr. Comput. Pract. Exp.
32 (21) (2020)