Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
LTSA-WS: a tool for model-based verification of web service compositions and choreography
ICSE, 2006.
@inproceedings{ICSE-2006-FosterUMK,
author = "Howard Foster and Sebastián Uchitel and Jeff Magee and Jeff Kramer",
booktitle = "{Proceedings of the 28th International Conference on Software Engineering}",
doi = "10.1145/1134408",
editor = "Leon J. Osterweil and Hans Dieter Rombach and Mary Lou Soffa",
isbn = "1-59593-375-1",
pages = "771--774",
publisher = "{ACM}",
title = "{LTSA-WS: a tool for model-based verification of web service compositions and choreography}",
year = 2006,
}