@inproceedings{conf/icws/FengVK12,
  added-at = {2012-09-10T00:00:00.000+0200},
  author = {Feng, Yuzhang and Veeramani, Anitha and Kanagasabai, Rajaraman},
  biburl = {http://www.bibsonomy.org/bibtex/2a8836af0ff3676db14600858e95b800a/dblp},
  booktitle = {ICWS},
  crossref = {conf/icws/2012},
  editor = {Goble, Carole A. and Chen, Peter P. and Zhang, Jia},
  ee = {http://dx.doi.org/10.1109/ICWS.2012.98},
  interhash = {512e8f152e69ba3f8610ad93c9d9e971},
  intrahash = {a8836af0ff3676db14600858e95b800a},
  isbn = {978-1-4673-2131-0},
  keywords = {dblp},
  pages = {674-675},
  publisher = {IEEE},
  timestamp = {2012-09-10T00:00:00.000+0200},
  title = {Automatic DAG-Based Service Composition: A Model Checking Approach.},
  url = {http://dblp.uni-trier.de/db/conf/icws/icws2012.html#FengVK12},
  year = 2012
}