%0 Conference Paper %1 conf/services/SalehKB11 %A Saleh, Iman %A Kulczycki, Gregory %A Blake, M. Brian %B SERVICES %D 2011 %I IEEE Computer Society %K dblp %P 474-481 %T Formal Specification and Verification of Transactional Service Composition. %U http://dblp.uni-trier.de/db/conf/services/services2011.html#SalehKB11 %@ 978-1-4577-0879-4

@inproceedings{conf/services/SalehKB11, 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/289e820cab3a20cbfedd4d6da1cbb0182/dblp}, booktitle = {SERVICES}, crossref = {conf/services/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/SERVICES.2011.36}, interhash = {008df0d6f897822802b739cdde4c162f}, intrahash = {89e820cab3a20cbfedd4d6da1cbb0182}, isbn = {978-1-4577-0879-4}, keywords = {dblp}, pages = {474-481}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:56:40.000+0200}, title = {Formal Specification and Verification of Transactional Service Composition.}, url = {http://dblp.uni-trier.de/db/conf/services/services2011.html#SalehKB11}, year = 2011 }