%0 Conference Paper %1 conf/ssiri/Tan10 %A Tan, Tian Huat %B SSIRI (Companion) %D 2010 %I IEEE Computer Society %K dblp %P 36-37 %T Towards Verification of a Service Orchestration Language. %U http://dblp.uni-trier.de/db/conf/ssiri/ssiri2010c.html#Tan10 %@ 978-0-7695-4087-0

@inproceedings{conf/ssiri/Tan10, added-at = {2023-03-24T00:00:00.000+0100}, author = {Tan, Tian Huat}, biburl = {https://www.bibsonomy.org/bibtex/2f8fde9095bb8835ef2d43c8c3ab70fa5/dblp}, booktitle = {SSIRI (Companion)}, crossref = {conf/ssiri/2010c}, ee = {https://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.20}, interhash = {3d254ac0158c6ce820c495a7132845e6}, intrahash = {f8fde9095bb8835ef2d43c8c3ab70fa5}, isbn = {978-0-7695-4087-0}, keywords = {dblp}, pages = {36-37}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:36:45.000+0200}, title = {Towards Verification of a Service Orchestration Language.}, url = {http://dblp.uni-trier.de/db/conf/ssiri/ssiri2010c.html#Tan10}, year = 2010 }