Yu Bai, Klaus Schneider 0001, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi. From clock-driven to data-driven models. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 32-41, IEEE, 2014. [doi]
Abstract is missing.