A Tool for Model-Based Verification of Web Service Compositions and Choreography

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
International Conference on Software Engineering - 2006

BibTex references

@InProceedings\{FUMK06a,
  author       = "Foster, Howard and Uchitel, Sebastian and Magee, Jeff and Kramer, Jeff",
  title        = "A Tool for Model-Based Verification of Web Service Compositions and Choreography",
  booktitle    = "International Conference on Software Engineering",
  year         = "2006",
  url          = "http://publicaciones.dc.uba.ar/Publications/2006/FUMK06a"
}

Other publications in the database

» Howard Foster
» Sebastian Uchitel
» Jeff Magee
» Jeff Kramer