%0 Conference Paper %1 conf/tase/KleineG10 %A Kleine, Moritz %A Göthel, Thomas %B TASE %D 2010 %E Liu, Jing %E Peled, Doron A. %E Wang, Bow-Yaw %E Wang, Farn %I IEEE Computer Society %K %P 145-154 %T Specification, Verification and Implementation of Business Processes Using CSP. %U http://dblp.uni-trier.de/db/conf/tase/tase2010.html#KleineG10 %@ 978-0-7695-4148-8

@inproceedings{conf/tase/KleineG10, added-at = {2023-12-14T16:21:25.000+0100}, author = {Kleine, Moritz and Göthel, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/26b371c5f873974e64fbd6383d22fb179/admin}, booktitle = {TASE}, crossref = {conf/tase/2010}, editor = {Liu, Jing and Peled, Doron A. and Wang, Bow-Yaw and Wang, Farn}, ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2010.26}, interhash = {f6cb0fa36397d6a7bca3a520872fe1fb}, intrahash = {6b371c5f873974e64fbd6383d22fb179}, isbn = {978-0-7695-4148-8}, keywords = {}, pages = {145-154}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T16:21:25.000+0100}, title = {Specification, Verification and Implementation of Business Processes Using CSP.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2010.html#KleineG10}, year = 2010 }