Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 1.

Conference or workshop item

Bocchi, Laura and Hong, Yi and Lopes, Antónia and Fiadeiro, José Luiz (2008) From BPEL to SRML: A Formal Transformational Approach. In: Web Services and Formal Methods. 4th International Workshop, WS-FM 2007 Proceedings. Lecture Notes in Computer Science, 4937. Springer pp. 92-107. ISBN 978-3-540-79229-1. E-ISBN 978-3-540-79230-7. (doi:https://doi.org/10.1007/978-3-540-79230-7_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Wed Apr 17 20:26:42 2019 BST.