[ACM Press the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium - Dubrovnik, Croatia (2007.09.03-2007.09.07)] Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - ESEC-FSE '07 - Model checking service compositions under resource constraints
Foster, Howard, Emmerich, Wolfgang, Kramer, Jeff, Magee, Jeff, Rosenblum, David, Uchitel, SebastianYear:
2007
Language:
english
DOI:
10.1145/1287624.1287657
File:
PDF, 412 KB
english, 2007