Proceedings of the 5th Ph.D. Retreat of the HPI Research ...
Full view
[11] Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David Rosen- blum, and Sebastian Uchitel. Model checking service compositions under resource constraints. In Ivica Crnkovic and Antonia Bertolino, editors, Proceedings of ...