Andrei Soeanu, Sujoy Ray, Mourad Debbabi, Jean Berger, Abdeslem Boukhtouta, Ahmed Ghanmi. Model checking based service delivery planning. In 25th IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2012, Montreal, QC, Canada, April 29 - May 2, 2012. pages 1-4, IEEE, 2012. [doi]
Abstract is missing.