by Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem
Reference:
Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015.
Bibtex Entry:
@inproceedings{RRebaiKKHK15,
author = {Sirine Rebai and Hatem Hadj Kacem and Mohamed Karaa and Sa{\'{u}}l E. Pomares Hern{\'{a}}ndez and Ahmed Hadj Kacem},
title = {{CDLVT:} {A} Formal Verification Tool of Non-functional Properties for {WS-CDL} Specification},
booktitle = {24th {IEEE} International Conference on Enabling Technologies: Infrastructure
for Collaborative Enterprises, {WETICE}},
pages = {191--196},
year = {2015},
doi = {10.1109/WETICE.2015.14},
}