%0 Conference Paper %1 conf/icws/SalehKB10 %A Saleh, Iman %A Kulczycki, Gregory %A Blake, M. Brian %B ICWS %D 2010 %I IEEE Computer Society %K dblp %P 131-138 %T Formal Specification and Verification of Data-Centric Service Composition. %U http://dblp.uni-trier.de/db/conf/icws/icws2010.html#SalehKB10 %@ 978-0-7695-4128-0

@inproceedings{conf/icws/SalehKB10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Saleh, Iman and Kulczycki, Gregory and Blake, M. Brian}, biburl = {https://www.bibsonomy.org/bibtex/2716559692c87b2e4ab854b099e1bf8d2/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2010}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2010.80}, interhash = {e93e248fad00de57196d629ebed5dd9e}, intrahash = {716559692c87b2e4ab854b099e1bf8d2}, isbn = {978-0-7695-4128-0}, keywords = {dblp}, pages = {131-138}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:31:53.000+0200}, title = {Formal Specification and Verification of Data-Centric Service Composition.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2010.html#SalehKB10}, year = 2010 }