Reference : Lifelong Verification of Dynamic Service Compositions
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/8462
Lifelong Verification of Dynamic Service Compositions
English
Bianculli, Domenico mailto [Università della Svizzera italiana]
2008
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium (FSEDS '08) co-located with ACM SIGSOFT 2008/FSE 16
ACM
1-4
Yes
No
International
oundations of Software Engineering Doctoral Symposium (FSEDS '08)
November 2008
http://hdl.handle.net/10993/8462
10.1145/1496653.1496654

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
b-ds-fse2008.pdfAuthor postprint125.29 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.