%0 Conference Paper %1 conf/icws/OghabiBB11 %A Oghabi, Giti %A Bentahar, Jamal %A Benharref, Abdelghani %B ICWS %D 2011 %I IEEE Computer Society %K dblp %P 548-555 %T On the Verification of Behavioral and Probabilistic Web Services Using Transformation. %U http://dblp.uni-trier.de/db/conf/icws/icws2011.html#OghabiBB11 %@ 978-1-4577-0842-8

@inproceedings{conf/icws/OghabiBB11, added-at = {2024-02-05T00:00:00.000+0100}, author = {Oghabi, Giti and Bentahar, Jamal and Benharref, Abdelghani}, biburl = {https://www.bibsonomy.org/bibtex/276d188a41bf2d0ce64e4dca1d738979a/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2011.106}, interhash = {7b8722c1f77416a173371cdf2be7c666}, intrahash = {76d188a41bf2d0ce64e4dca1d738979a}, isbn = {978-1-4577-0842-8}, keywords = {dblp}, pages = {548-555}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:32:23.000+0200}, title = {On the Verification of Behavioral and Probabilistic Web Services Using Transformation.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2011.html#OghabiBB11}, year = 2011 }