Sciweavers

17129 search results - page 97 / 3426
» Applied Computing
Sort
View
IEEESCC
2007
IEEE
15 years 4 months ago
What are you talking about?
Erik Wilde
SOCA
2007
IEEE
15 years 4 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini