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 |