Reference : A model checking approach to verify BPEL4WS workflows
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/8471
A model checking approach to verify BPEL4WS workflows
English
Bianculli, Domenico mailto [Università della Svizzera italiana]
Ghezzi, Carlo [> >]
Spoletini, Paola [> >]
2007
Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007)
IEEE Computer Society Press
13=20
Yes
No
International
007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007)
June 2007
http://hdl.handle.net/10993/8471
10.1109/SOCA.2007.5

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
bgs-soca07.pdfAuthor postprint137.22 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.