@inproceedings{DBLP:conf/qsic/WangCD11,
  title = "Formal and Model-Based Testing of Concurrent Workflows",
  author = "Chen-Wei Wang and Alessandra Cavarra and Jim Davies",
  year = "2011",
  booktitle = "Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011",
  editor = "Manuel N{\'u}{\~n}ez and Robert M. Hierons and Mercedes G. Merayo",
  pages = "252-259",
  publisher = "IEEE Computer Society",
}