PDF:
BPEL Verification: The Back-annotation Problem
| Cím | BPEL Verification: The Back-annotation Problem |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2010 |
| Szerzők | Hegedüs, Á. |
| Konferencia neve | Proceedings of the 17th PhD Minisymposium |
| Kiadás dátuma | 02/2010 |
| Kiadó | Budapest University of Technology and Economics, Department of Measurement and Information Systems |


