Search for persons
X
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
1
SEArch: An Execution Infrastructure for Service-Based Softw..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
2
Quality of Service Ranking by Quantifying Partial Complianc..:
, In:
?
Proceedings of the 19th international symposium on Software testing and analysis ,
3
Analysis of invariants for efficient bounded verification:
, In:
?
Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science ,
4