Lifelong Verification of Dynamic Service Compositions

Reference : Lifelong Verification of Dynamic Service Compositions


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/8462

Title :	Lifelong Verification of Dynamic Service Compositions
Language :	English
Author, co-author :	Bianculli, Domenico [Università della Svizzera italiana]
Publication date :	2008
Main document title :	Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium (FSEDS '08) co-located with ACM SIGSOFT 2008/FSE 16
Publisher :	ACM
Pages :	1-4
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	oundations of Software Engineering Doctoral Symposium (FSEDS '08)
Event date :	November 2008
Permalink :	http://hdl.handle.net/10993/8462
DOI :	10.1145/1496653.1496654

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	b-ds-fse2008.pdf		Author postprint	125.29 kB	Request a copy

All documents in ORBi^lu are protected by a user license.