PDF:
BPEL Verification: The Back-annotation Problem
| Title | BPEL Verification: The Back-annotation Problem |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Hegedüs, Á. |
| Conference Name | Proceedings of the 17th PhD Minisymposium |
| Date Published | 02/2010 |
| Publisher | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
