BPEL Verification: The Back-annotation Problem
| Hegedűs, Ábel | ||
| Varró, Dániel | ||
| 2021-05-28T09:15:11Z | ||
| 2021-05-28T09:15:11Z | ||
| 2010 | ||
| http://hdl.handle.net/10890/15411 | ||
| en | ||
| BPEL Verification: The Back-annotation Problem | ||
| könyvfejezet | ||
| Open access | ||
| 2010.02.01 | ||
| Budapest | ||
| 17th PhD Mini-Symposium | ||
| 2010 | ||
| 978-963-420-994-2 | ||
| Budapest University of Technology and Economics | ||
| Online | ||
| Proceedings of the 17th PhD Mini-Symposium | ||
| Department of Measurement and Information Systems | ||
| Published | ||
| Faculty of Electrical Engineering and Informatics | ||
| 30 | ||
| 31 | ||
| Konferenciacikk | ||
| Budapest University of Technology and Economics |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- 17Minisymp_proceedings-31-32.pdf
- Size:
- 523.35 KB
- Format:
- Adobe Portable Document Format
- Description:
- Proceedings of the 17th PhD Mini-Symposium - 008