Sciweavers

29046 search results - page 305 / 5810
» Computable Models
Sort
View
SOCA
2007
IEEE
16 years 27 days ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini