BPEL Verification: The Back-annotation Problem

View/Open

Proceedings of the 17th PhD Mini-Symposium - 008 (523.3Kb)

Metadata

Show full item record

Link to refer to this document:

http://hdl.handle.net/10890/15411

Collections

BME MIT PhD Minisymposium, 2010, 17th [22]

Title: BPEL Verification: The Back-annotation Problem
Author: Hegedűs, Ábel; Varró, Dániel
Date of issue: 2010
Access level: Open access
Conference title: 17th PhD Mini-Symposium
Conference place: Budapest
Conference date: 2010.02.01
Language: en
Page: 30 - 31
Version: Published
Title of the container document: Proceedings of the 17th PhD Mini-Symposium
ISBN, e-ISBN: 978-963-420-994-2
Document type: könyvfejezet
Document genre: Konferenciacikk
University: Budapest University of Technology and Economics
Faculty: Faculty of Electrical Engineering and Informatics
Department: Department of Measurement and Information Systems