Bijoy A. Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla. SMT based false causal loop detection during code synthesis from Polychronous specifications. In Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt, editors, 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011. pages 109-118, IEEE, 2011. [doi]
Abstract is missing.