Sciweavers

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