%0 Conference Paper %1 conf/icws/RouachedG07 %A Rouached, Mohsen %A Godart, Claude %B ICWS %D 2007 %I IEEE Computer Society %K dblp %P 354-363 %T Requirements-driven Verification of WSBPEL Processes. %U http://dblp.uni-trier.de/db/conf/icws/icws2007.html#RouachedG07 %@ 0-7695-2924-0

@inproceedings{conf/icws/RouachedG07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Rouached, Mohsen and Godart, Claude}, biburl = {https://www.bibsonomy.org/bibtex/22e1b9eaad711f2c7f68b4181c43bfd02/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2007.153}, interhash = {3e0961bf4742eae0e9a553dd0c182375}, intrahash = {2e1b9eaad711f2c7f68b4181c43bfd02}, isbn = {0-7695-2924-0}, keywords = {dblp}, pages = {354-363}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:30:18.000+0200}, title = {Requirements-driven Verification of WSBPEL Processes.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2007.html#RouachedG07}, year = 2007 }