Cited By
View all- Bai YHu KZhan N(2018)DesynchronizationProceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design10.5555/3343872.3343885(109-118)Online publication date: 15-Oct-2018
- (2014)From clock-driven to data-driven modelsProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961841(32-41)Online publication date: 1-Oct-2014
- Potop-Butucaru DSorel Yde Simone RTalpin J(2011)From Concurrent Multi-clock Programs to Deterministic Asynchronous ImplementationsFundamenta Informaticae10.5555/2362088.2362094108:1-2(91-118)Online publication date: 1-Jan-2011
- Show More Cited By