2 search results - page 1 / 1 » Abstraction-Based Satisfiability Solving of Presburger Arith... |
CAV
2004
Springer
15 years 6 months ago
2004
Springer
138
click to vote
JALC
2006
15 years 3 months ago
2006
Automated Web Service Composition has gained a significant momentum in facilitating fast and efficient formation of business-to-business collaborations where an important objectiv...