Hsin-hung Lin, Toshiaki Aoki, Takuya Katayama. Automated Adaptor Generation for Services Based on Pushdown Model Checking. In 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011. pages 130-139, IEEE Computer Society, 2011. [doi]
Abstract is missing.