by Hee, K.M. van and Sidorova, N.
Reference:
When Can We Trust a Third Party? – A Soundness Perspective (Hee, K.M. van and Sidorova, N.), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’12) (Cabac, L., Duvigneau, M., Moldt, D., eds.), CEUR Workshop Proceedings, volume 851.
Bibtex Entry:
@inproceedings{HSW12b,
  author = {Hee, {K.M. van} and Sidorova, {N.} and Werf, {J.M.E.M. van der}},
  title = {When Can We Trust a Third Party? -- A Soundness Perspective},
  editor = {Cabac, {L.} and Duvigneau, {M.} and Moldt, {D.}},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12)},
  publisher = {CEUR Workshop Proceedings},
  volume = {851},
  pages = {47--59}
}

When Can We Trust a Third Party? – A Soundness Perspective