John C. Sloan, Taghi M. Khoshgoftaar, Augusto Varas
An Extendible Translation of BPEL to a Machine-verifiable Model
SEKE, 2009.
@inproceedings{SEKE-2009-SloanKV,
author = "John C. Sloan and Taghi M. Khoshgoftaar and Augusto Varas",
booktitle = "{Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-24-1",
pages = "344--349",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{An Extendible Translation of BPEL to a Machine-verifiable Model}",
year = 2009,
}