Inproceedings,

Model Checking Service Component Composition by SPIN.

, , and .
ACIS-ICIS, page 1029-1034. IEEE Computer Society, (2009)

Meta data

Tags

Users

  • @ramkumarrs
  • @dblp

Comments and Reviews