![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | Uri Frank, Tsachy Kapschitz, Ran Ginosar: A predictive synchronizer for periodic clock domains. Formal Methods in System Design 28(2): 171-186 (2006) |
2005 | ||
1 | EE | Tsachy Kapschitz, Ran Ginosar: Formal Verification of Synchronizers. CHARME 2005: 359-362 |
1 | Uri Frank | [2] |
2 | Ran Ginosar | [1] [2] |