Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Baresi, Luciano; BIANCULLI, Domenico; Guinea, Sam et al.
2009In Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)
Peer reviewed
 

Files


Full Text
bbgs-forte2009.pdf
Author postprint (471.72 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Baresi, Luciano
BIANCULLI, Domenico  ;  Università della svizzera italiana
Guinea, Sam
Spoletini, Paola
Language :
English
Title :
Keep It Small, Keep It Real: Efficient Run-time Verification of Web Service Compositions
Publication date :
2009
Event name :
IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)
Event date :
June 2009
Audience :
International
Main work title :
Proceedings of IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009)
Publisher :
Springer
Collection name :
Lecture Notes in Computer Science
Pages :
26-40
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 14 October 2013

Statistics


Number of views
62 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
3
OpenCitations
 
6

Bibliography


Similar publications



Contact ORBilu