%0 Conference Paper %1 conf/wetice/RebaiKKHK15 %A Rebai, Sirine %A Kacem, Hatem Hadj %A Karaa, Mohamed %A Hernández, Saúl E. Pomares %A Kacem, Ahmed Hadj %B WETICE %D 2015 %E Reddy, Sumitra %I IEEE Computer Society %K dblp %P 191-196 %T CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. %U http://dblp.uni-trier.de/db/conf/wetice/wetice2015w.html#RebaiKKHK15 %@ 978-1-4673-7692-1

@inproceedings{conf/wetice/RebaiKKHK15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Rebai, Sirine and Kacem, Hatem Hadj and Karaa, Mohamed and Hernández, Saúl E. Pomares and Kacem, Ahmed Hadj}, biburl = {https://www.bibsonomy.org/bibtex/2fe3d1b075ae2f04594b13fbbef5f9e73/dblp}, booktitle = {WETICE}, crossref = {conf/wetice/2015w}, editor = {Reddy, Sumitra}, ee = {https://doi.ieeecomputersociety.org/10.1109/WETICE.2015.14}, interhash = {6069fad493b5fa48f880b50bb4ff4d65}, intrahash = {fe3d1b075ae2f04594b13fbbef5f9e73}, isbn = {978-1-4673-7692-1}, keywords = {dblp}, pages = {191-196}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T08:23:38.000+0200}, title = {CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification.}, url = {http://dblp.uni-trier.de/db/conf/wetice/wetice2015w.html#RebaiKKHK15}, year = 2015 }