Thouraya Gouasmi, Amira Regayeg, Ahmed Hadj Kacem. Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification. In Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine, editors, 36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. pages 248-253, IEEE Computer Society, 2012. [doi]
Abstract is missing.