IEEE Transactions on Services Computing
Collection
Collection
- ISSN: 1939-1374
Published by IEEE
-
End-User Service Computing: Spreadsheets as a Service Composition Tool Article
IEEE Transactions on Services Computing, 1(4), 229-242.October 2008
-
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools Article
IEEE Transactions on Services Computing, PP(99)August 2011
-
Formal design and verification of long-running transactions with eclipse coordination tools Article
IEEE Transactions on Services ComputingJanuary 2012 -
Formal design and verification of long-running transactions with extensible coordination tools Article
IEEE Transactions on Services Computing, 6(2), 186-200.January 2013