MLA
Sbaï, Zohra, and Rawand Guerfel. "CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling." IJSSMET vol.7, no.1 2016: pp.27-42. http://doi.org/10.4018/IJSSMET.2016010102
APA
Sbaï, Z. & Guerfel, R. (2016). CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling. International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), 7(1), 27-42. http://doi.org/10.4018/IJSSMET.2016010102
Chicago
Sbaï, Zohra, and Rawand Guerfel. "CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling," International Journal of Service Science, Management, Engineering, and Technology (IJSSMET) 7, no.1: 27-42. http://doi.org/10.4018/IJSSMET.2016010102
Export Reference