Ferhat Khendek, Christophe Lohr, Li-Xin Wang, Xiao Jun Zhang, Tong Zheng. Early Validation of Deployment and Scheduling Constraints for MSC Specifications. In Daniel Amyot, Alan W. Williams, editors, System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Volume 3319 of Lecture Notes in Computer Science, pages 106-121, Springer, 2004. [doi]
Abstract is missing.