Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen. Matching and Merging Scenarios Automatically with Alloy. In Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves, editors, Model-Driven Engineering and Software Development - Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. Volume 506 of Communications in Computer and Information Science, pages 100-116, Springer, 2014. [doi]
Abstract is missing.