Kai Kapp, Viktor K. Sabelfeld. Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. In Sharad Malik, Limor Fix, Andrew B. Kahng, editors, Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. pages 61-66, ACM, 2004. [doi]
Abstract is missing.