Transforming WS-BPEL into Timed Automata

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},
}