Pramate Chandratarat, Wiwat Vatanawood. Transforming WS-BPEL into Timed Automata. In ICSEB 2019: The 3rd International Conference on Software and e-Business, Tokyo, Japan, December, 2019. pages 134-140, ACM, 2019. [doi]
@inproceedings{ChandrataratV19, title = {Transforming WS-BPEL into Timed Automata}, author = {Pramate Chandratarat and Wiwat Vatanawood}, year = {2019}, doi = {10.1145/3374549.3374566}, url = {https://doi.org/10.1145/3374549.3374566}, researchr = {https://researchr.org/publication/ChandrataratV19}, cites = {0}, citedby = {0}, pages = {134-140}, booktitle = {ICSEB 2019: The 3rd International Conference on Software and e-Business, Tokyo, Japan, December, 2019}, publisher = {ACM}, isbn = {978-1-4503-7649-5}, }