Foster, H and Emmerich, W and Kramer, J and Magee, J and Rosenblum, D and Uchitel, S (2007) Model checking service compositions under resource constraints. In: (Proceedings) Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. (pp. 225 - 234). ACM Press
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Model checking service compositions under resource constraints |
| Event: | Proc. of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering |
| DOI: | 10.1145/1287624.1287657 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record