@inproceedings{ nar-mci-www11,
  title = {Simulation, Verification and Automated Composition of Web Services}
}
,
  url = {nar-mci-www11.pdf}
}
,
  booktitle = {Proceedings of the Eleventh International World Wide Web Conference (WWW-11)}
}
,
  author = {Narayanan, S. and McIlraith, S. }
}
,
  year = {2002}
}
,
  month = {May 7-11}
}
,
  address = {Honolulu, Hawaii, USA}
}
,
  pages = {77-88}
}