ШКАРУПИЛО, В. В. WS-BPEL-modification of TLC-verification method. Eastern-European Journal of Enterprise Technologies, [S. l.], v. 4, n. 2(64), p. 23–28, 2013. DOI: 10.15587/1729-4061.2013.16654. Disponível em: https://journals.uran.ua/eejet/article/view/16654. Acesso em: 16 jul. 2024.